activity
20142024
most citedTowards Verification of Constituent Systems through Automated Proof

7 citations · 8 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL

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…