Compositional probabilistic verification through multi-objective model checking.
Marta Z. KwiatkowskaGethin NormanDavid ParkerHongyang QuPublished in: Inf. Comput. (2013)
Keyphrases
- model checking
- multi objective
- temporal logic
- formal verification
- verification method
- automated verification
- model checker
- evolutionary algorithm
- temporal properties
- finite state
- formal specification
- bounded model checking
- symbolic model checking
- partial order reduction
- finite state machines
- concurrent systems
- formal methods
- transition systems
- reachability analysis
- timed automata
- computation tree logic
- epistemic logic
- pspace complete
- genetic algorithm
- process algebra
- probability theory
- search algorithm
- objective function
- reactive systems
- asynchronous circuits
- specification language
- linear temporal logic
- modal logic
- decision problems