A Retrospective on Developing Hybrid System Provers in the KeYmaera Family-Reference-Cited by-同舟云学术

A Retrospective on Developing Hybrid System Provers in the KeYmaera Family

Published:2020 Issue: Volume: Page:21-64
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Mitsch Stefan^ORCID,Platzer André^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-64354-6_2

Reference69 articles.

1. Ahrendt, W., et al.: The KeY tool. Softw. Syst. Model. 4(1), 32–54 (2005). https://doi.org/10.1007/s10270-004-0058-x

2. Lecture Notes in Computer Science,2016

3. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995). https://doi.org/10.1016/0304-3975(94)00202-T

4. Lecture Notes in Computer Science;E Bartocci,2019

5. Beckert, B., et al.: Taclets: a new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas (RACSAM) 98(1) (2004)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23

2. Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs;Automated Deduction – CADE 29;2023

3. Refinements of Hybrid Dynamical Systems Logic;Rigorous State-Based Methods;2023

4. Verifying Switched System Stability With Logic;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04

5. Implicit Definitions with Differential Equations for KeYmaera X;Automated Reasoning;2022