Cited in
(37)- Constructive hybrid games
- Diffy
- iDFlakies
- Bellerophon: tactical theorem proving for hybrid systems
- ModelPlex: verified runtime validation of verified cyber-physical system models
- FocusCheck
- KeYmaera
- FunFrog
- DiSL
- gmm++
- ESBMC
- RE2
- CCMC
- GOAL
- GPUexplore
- Mosel
- dReach
- TuLiP
- CDSChecker
- Bellerophon
- timed-pattern-matching
- JNuke
- PEORL
- RegExLib
- MONAA
- Montre
- VeriPhy
- BisimDist
- dtControl
- aerial
- MonPoly
- KeYmaera X
- PAYNT
- A formally verified, optimized monitor for metric first-order dynamic logic
- textX
- Constructive game logic
- Pegasus: sound continuous invariant generation
This page was built for software: ModelPlex
