KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).

Andr Platzer, Jan-David Quesel

Browse the full CADE paper archive.