The following publications are possibly variants of this publication:
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)André Platzer, Jan-David Quesel. cade 2008: 171-178 [doi]
- Bellerophon: Tactical Theorem Proving for Hybrid SystemsNathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer. itp 2017: 207-224 [doi]
- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three ProversStefan Mitsch, André Platzer. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 21-64, Springer, 2020. [doi]
- How to model and prove hybrid systems with KeYmaera: a tutorial on safetyJan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Arechiga, André Platzer. STTT, 18(1):67-91, 2016. [doi]
- Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safetyJan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer. STTT, 23(5):827, 2021. [doi]