Model-checking continous-time Markov chains.
Adnan AzizKumud SanwalVigyan SinghalRobert K. BraytonPublished in: ACM Trans. Comput. Log. (2000)
Keyphrases
- model checking
- markov chain
- finite state
- temporal logic
- formal specification
- finite state machines
- transition probabilities
- temporal properties
- state space
- monte carlo
- formal verification
- computation tree logic
- stationary distribution
- markov processes
- automated verification
- model checker
- epistemic logic
- timed automata
- markov model
- transition matrix
- transition systems
- symbolic model checking
- formal methods
- random walk
- reachability analysis
- verification method
- pspace complete
- probabilistic automata
- reactive systems
- bounded model checking
- asynchronous circuits
- learning algorithm
- hidden markov models