Yasm: A Software Model-Checker for Verification and Refutation.
Arie GurfinkelOu WeiMarsha ChechikPublished in: CAV (2006)
Keyphrases
- model checker
- formal methods
- model checking
- formal verification
- test suite
- description language
- temporal logic
- symbolic model checking
- formal specification
- software architecture
- software systems
- test cases
- software development
- ai planning
- set theory
- artificial intelligence
- binary images
- specification language
- software engineering
- modeling language
- planning domains
- source code