The following pages link to (Q3060979):
Displaying 4 items.
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Bonsai: Cutting Models Down to Size (Q3455087) (← links)
- Compositional Verification and 3-Valued Abstractions Join Forces (Q3611995) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)