TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems.
Nicolas MarkeyPhilippe SchnoebelenPublished in: QEST (2004)
Keyphrases
- quantitative analysis
- qualitative analysis
- model checker
- model checking
- formal methods
- temporal logic
- artificial intelligence
- qualitative evaluation
- evolutionary algorithm
- formal specification
- machine learning
- fuzzy logic
- knowledge based systems
- building blocks
- symbolic representation
- qualitative and quantitative analysis