ModelPlex
From MaRDI portal
swMATH23944MaRDI QIDQ35705FDOQ35705
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=3014462
Cited In (36)
- Diffy
- iDFlakies
- Constructive game logic
- Pegasus: sound continuous invariant generation
- FocusCheck
- FunFrog
- DiSL
- gmm++
- ESBMC
- RE2
- CCMC
- GOAL
- GPUexplore
- Mosel
- dReach
- TuLiP
- CDSChecker
- Bellerophon
- timed-pattern-matching
- JNuke
- PEORL
- RegExLib
- MONAA
- Montre
- VeriPhy
- BisimDist
- A formally verified, optimized monitor for metric first-order dynamic logic
- dtControl
- aerial
- MonPoly
- KeYmaera X
- PAYNT
- textX
- 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
