Preface to the special issue on Probabilistic Model Checking.
Christel BaierMarta Z. KwiatkowskaPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- special issue
- model checking
- temporal logic
- ai edam
- formal verification
- model checker
- finite state
- ecml pkdd
- temporal properties
- bounded model checking
- verification method
- automated verification
- symbolic model checking
- international journal
- partial order reduction
- timed automata
- computation tree logic
- applied intelligence
- epistemic logic
- formal methods
- formal specification
- finite state machines
- transition systems
- concurrent systems
- process algebra
- reachability analysis
- bayesian networks
- pspace complete
- knowledge based systems
- rough sets
- multi agent systems
- deterministic finite automaton
- satisfiability problem
- reactive systems