The following pages link to (Q5506384):
Displaying 7 items.
- Fault localization of timed automata using maximum satisfiability (Q2026559) (← links)
- Bounded model checking for timed automata (Q2842869) (← links)
- SAT-Based Model Checking without Unrolling (Q3075471) (← links)
- Verification for Timed Automata extended with Unbounded Discrete Data Structures (Q3196352) (← links)
- Automated Technology for Verification and Analysis (Q5394172) (← links)
- (Q5472953) (← links)
- SAT-BASED MODEL CHECKING FOR REGION AUTOMATA (Q5484902) (← links)