ModelPlex
From MaRDI portal
Software:35705
swMATH23944MaRDI QIDQ35705FDOQ35705
Author name not available (Why is that?)
Cited In (6)
- Pegasus: sound continuous invariant generation
- Constructive Game Logic
- A formally verified, optimized monitor for metric first-order dynamic logic
- Bellerophon: tactical theorem proving for hybrid systems
- Constructive hybrid games
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: ModelPlex
