Model-Checking Large Finite-State Systems and Beyond.
Lubos BrimMojmír KretínskýPublished in: SOFSEM (1) (2007)
Keyphrases
- finite state
- model checking
- automated verification
- temporal logic
- markov chain
- finite state machines
- formal methods
- formal verification
- transition systems
- reactive systems
- model checker
- formal specification
- temporal properties
- artifact centric
- timed automata
- markov decision processes
- tree automata
- asynchronous circuits
- distributed systems
- verification method
- concurrent systems
- partially observable markov decision processes
- reachability analysis
- epistemic logic
- average cost
- optimal policy
- symbolic model checking
- computation tree logic
- alternating time temporal logic
- multi agent
- bounded model checking
- process algebra
- knowledge based systems
- sufficient conditions
- state space