1 paper
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher +3
We formally introduce IsaVODEs (Isabelle verification with Ordinary Differential Equations), a framework for the verification of cyber-physical systems. We describe the semantic fo…