Author:
Abraham-Mumm E.,Hannemann U.,Steffen M.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Towards an implementation of differential dynamic logic in PVS;Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2022-06-14
4. The refinement calculus of reactive systems;Information and Computation;2021-11
5. ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS;Radio Electronics, Computer Science, Control;2020-11-06