Exploring The Keymaera X Theorem Prover
If you are looking for information about The Keymaera X Theorem Prover, you have come to the right place.
- Notes at https://tqft.net/web/notes/load.php?name=talks/20190813-
- Yong Kiam Tan's TACAS 2021 talk on Deductive Stability Proofs for Ordinary Differential Equations. Related videos at ...
- ... differential dynamic logics as implemented in
- Differential dynamic logics, as implemented in the
- slides at http://www.brillout.com/hybrid_systems/slides.
In-Depth Information on The Keymaera X Theorem Prover
A Demo Video for This first video shows an overview of some of the basic ways of verifying hybrid systems in Presentation by Adam Pease at SRI, Menlo Park, CA. I discuss implementation details of writing an automated Additionally, the package provides macros to interface with the
This blend of ideas enables a trustworthy implementation of switched system stability verification in
We hope this detailed breakdown of The Keymaera X Theorem Prover was helpful.
