Model Checking (k, d)-Markov Chain with ipLTL.
Lianyi ZhangQingdi MengGuiming LuoPublished in: KSEM (2014)
Keyphrases
- model checking
- markov chain
- temporal logic
- steady state
- finite state
- formal specification
- monte carlo
- transition probabilities
- state space
- monte carlo method
- automated verification
- formal verification
- markov model
- finite state machines
- monte carlo simulation
- symbolic model checking
- model checker
- stationary distribution
- temporal properties
- transition systems
- timed automata
- random walk
- verification method
- bounded model checking
- reachability analysis
- computation tree logic
- formal methods
- transition matrix
- epistemic logic
- linear temporal logic
- reactive systems
- concurrent systems