Towards verification of hybrid systems in a foundational proof assistant.

Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner

Browse the full MEMOCODE paper archive.