KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.

Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Vlp, Andr Platzer

Browse the full CADE paper archive.