Author:
Sheng Huanhuan,Bentkamp Alexander,Zhan Bohua
Publisher
Springer International Publishing
Reference35 articles.
1. Bohrer, R., Rahli, V., Vukotic, I., Völp, M., Platzer, A.: Formally verified differential dynamic logic. In: Bertot, Y., Vafeiadis, V. (eds.) Conference on Certified Programs and Proofs (CPP 2017), pp. 208–221. ACM (2017)
2. NASA Monographs in Systems and Software Engineering;M Chen,2017
3. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453–457 (1975)
4. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall (1976)
5. Lecture Notes in Computer Science;J-C Filliâtre,2013
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid dynamical systems logic and its refinements;Science of Computer Programming;2025-01
2. Formally Verified C Code Generation from Hybrid Communicating Sequential Processes;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
3. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
4. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
5. Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System;Lecture Notes in Computer Science;2024