Zing: A Model Checker for Concurrent Software.
Tony AndrewsShaz QadeerSriram K. RajamaniJakob RehofYichen XiePublished in: CAV (2004)
Keyphrases
- model checker
- formal methods
- model checking
- formal verification
- test suite
- description language
- temporal logic
- software systems
- software architecture
- formal specification
- symbolic model checking
- software development
- source code
- test cases
- specification language
- general purpose
- knowledge based systems
- set theory
- binary decision diagrams