ModelPlex
From MaRDI portal
Software:35705
No author found.
Related Items (6)
Constructive Game Logic ⋮ Pegasus: sound continuous invariant generation ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ A formally verified, optimized monitor for metric first-order dynamic logic ⋮ Constructive hybrid games
This page was built for software: ModelPlex
