Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.
Víctor A. BrabermanDiego GarbervetskyNicolas KicillofDaniel MonteverdeAlfredo OliveroPublished in: FORMATS (2009)
Keyphrases
- model checking
- component analysis
- finite state machines
- timed automata
- temporal logic
- partial order reduction
- temporal properties
- reactive systems
- formal specification
- formal verification
- model checker
- verification method
- symbolic model checking
- finite state
- factor analysis
- reachability analysis
- probabilistic model
- bounded model checking
- transition systems
- automated verification
- petri net