INFAMY: An Infinite-State Markov Model Checker.
Ernst Moritz HahnHolger HermannsBjörn WachterLijun ZhangPublished in: CAV (2009)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- symbolic model checking
- test suite
- markov chain
- set theory
- ai planning
- conditional independence
- specification language
- directed acyclic graph
- planning domains
- software engineering
- data mining
- orders of magnitude
- data model
- binary decision diagrams
- general purpose
- computational intelligence
- building blocks
- gray scale