The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.
Gerard J. HolzmannPublished in: SPIN (1999)
Keyphrases
- model checker
- case study
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- open source
- formal specification
- test suite
- set theory
- symbolic model checking
- software engineering
- artificial intelligence
- specification language
- design process
- source code
- ai planning
- software development
- image analysis
- orders of magnitude
- planning domains
- test cases
- mathematical morphology
- error rate
- general purpose
- np hard
- evolutionary algorithm
- data mining