Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.
Serge HaddadNihal PekerginPublished in: QEST (2009)
Keyphrases
- model checking
- markov chain
- finite state
- stochastic process
- markov processes
- temporal logic
- monte carlo
- probabilistic automata
- transition probabilities
- verification method
- formal specification
- transition systems
- formal verification
- markov model
- reachability analysis
- state space
- temporal properties
- computation tree logic
- automated verification
- model checker
- symbolic model checking
- random walk
- stationary distribution
- linear temporal logic
- stochastic processes
- bounded model checking
- pspace complete
- epistemic logic
- asynchronous circuits
- concurrent systems
- timed automata
- formal methods
- finite state machines
- markov decision processes