Modular deductive verification of sampled-data systems.

Daniel Ricketts, Gregory Malecha, Sorin Lerner

Browse the full EMSOFT paper archive.