The following pages link to ModelPlex (Q35705):
Displaying 6 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Constructive Game Logic (Q5041088) (← links)