My model checker died!: how well did it do?
Esteban PaveseVíctor A. BrabermanSebastián UchitelPublished in: QUOVADIS@ICSE (2010)
Keyphrases
- model checker
- model checking
- formal methods
- formal verification
- description language
- temporal logic
- formal specification
- test suite
- symbolic model checking
- set theory
- ai planning
- knowledge based systems
- specification language
- knowledge base
- software architecture
- dynamic programming
- relational databases
- optimal solution
- reinforcement learning
- training data
- web services