Interactive verification of Markov chains: Two distributed protocol case studies
Johannes HölzlTobias NipkowPublished in: QFM (2012)
Keyphrases
- markov chain
- case study
- finite state
- lightweight
- steady state
- monte carlo
- markov process
- transition probabilities
- state space
- stochastic process
- markov model
- markov processes
- cryptographic protocols
- stationary distribution
- distributed systems
- monte carlo simulation
- random walk
- protocol specification
- model checking
- queueing theory
- probabilistic automata
- sample path
- transition matrix
- information theoretic
- monte carlo method