Most of the notes published on this site are designed for novice-to-intermediate KeYmaera X users, although I also occasionally post thoughts on other topics.
- Nov 27, 2017 Importing Bellerophon programs into the Bellerophon Scala DSL
- Nov 22, 2017 Loop Convergence Proofs in KeYmaera X
- Aug 11, 2017 Notes from Marktoberdorf Tutorial
- Jul 25, 2017 Bifurcations and KeYmaera X -- The 1D Saddle-node Birfurcation
- Apr 12, 2017 Importing Case Studies into KeYmaera X
- Apr 12, 2017 KeYmaera X Tooling for Case Study Authors
- Jan 14, 2017 Reasoning about Exponential Decay and Growth in KeYmaera X
The postings on this site are my own and don't necessarily represent IBM's positions, strategies or opinions.