The following pages link to Computer Aided Verification (Q5900704):
Displaying 7 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Compact data structures and state-space reduction for model-checking real-time systems (Q1431366) (← links)
- Improving Search Order for Reachability Testing in Timed Automata (Q2945591) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Hierarchical Adaptive State Space Caching Based on Level Sampling (Q3617761) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308406) (← links)