Time-bounded model checking of infinite-state continuous-time Markov chains.

Lijun Zhang Holger Hermanns Ernst Moritz Hahn Björn Wachter

Published in: ACSD (2008)

Keyphrases

bounded model checking
continuous time markov chains
markov processes
model checking
poisson distribution
formal verification
temporal logic
linear temporal logic
numerically stable
markov chain
markov process
stochastic processes
multi agent systems
cooperative
finite state
probability distribution
search space