Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Daisuke Ishii, Guillaume Melquiond, Shin Nakajima

Browse the full IFM paper archive.