Back to Results
First PageMeta Content
Formal methods / Predicate transformer semantics / Loop invariant / Hoare logic / State-space representation


Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2
Add to Reading List

Document Date: 2013-06-11 11:16:39

Open Document

File Size: 365,58 KB

Share Result on Facebook