CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.
Yang GaoErnst Moritz HahnNaijun ZhanLijun ZhangPublished in: ATVA (2013)
Keyphrases
- model checker
- continuous time markov chains
- model checking
- formal verification
- formal methods
- markov processes
- temporal logic
- description language
- poisson distribution
- formal specification
- test suite
- numerically stable
- ai planning
- set theory
- specification language
- markov process
- markov chain
- image processing
- software architecture
- bayesian networks