Author:
Foster Simon,Huerta y Munive Jonathan Julián,Gleirscher Mario,Struth Georg
Publisher
Springer International Publishing
Reference42 articles.
1. Lecture Notes in Computer Science;A Anand,2015
2. Ricketts, D., Malecha, G., Alvarez, M.M., Gowda, V., Lerner, S.: Towards verification of hybrid systems in a foundational proof assistant. In: MEMOCODE, pp. 248–257. IEEE (2015)
3. Lecture Notes in Computer Science;S Wang,2015
4. Lecture Notes in Computer Science;JJ Huerta y Munive,2018
5. Huerta y Munive, J.J., Struth, G.: Predicate transformer semantics for hybrid systems: verification components for Isabelle/HOL. arXiv:1909.05618 [cs.LO] (2019)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid dynamical systems logic and its refinements;Science of Computer Programming;2025-01
2. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
3. Formally verified animation for RoboChart using interaction trees;Journal of Logical and Algebraic Methods in Programming;2024-02
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. Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14