Author:
Huerta y Munive Jonathan Julián,Struth Georg
Publisher
Springer International Publishing
Reference30 articles.
1. Alur, R.: Formal verification of hybrid systems. In: EMSOFT 2011, pp. 273–278. ACM (2011)
2. Armstrong, A., Struth, G., Weber, T.: Kleene algebra. Archive of Formal Proofs (2013)
3. Arnol’d, V.I.: Ordinary Differential Equations. Springer, Heidelberg (1992)
4. Back, R., von Wright, J.: Refinement Calculus—A Systematic Introduction. Springer, New York (1998). https://doi.org/10.1007/978-1-4612-1674-2
5. Bohrer, B., Rahli, V., Vukotic, I., Völp, M., Platzer, A.: Formally verified differential dynamic logic. In: CPP 2017, pp. 208–221. ACM (2017)
Cited by
14 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. HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic;Formal Methods;2023
4. 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
5. Transition Algebra for Software Testing;IEEE Transactions on Reliability;2021-12