Faster Statistical Model Checking for Unbounded Temporal Properties.
Przemyslaw DacaThomas A. HenzingerJan KretínskýTatjana PetrovPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- temporal properties
- model checking
- temporal logic
- formal verification
- model checker
- formal methods
- reachability analysis
- formal specification
- symbolic model checking
- automated verification
- verification method
- computation tree logic
- timed automata
- epistemic logic
- possibility theory
- transition systems
- reactive systems
- concurrent systems
- decision makers
- knowledge acquisition