Goanna - A Static Model Checker.
Ansgar FehnkerRalf HuuckPatrick JayetMichel LussenburgFelix RauchPublished in: FMICS/PDMC (2006)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- formal specification
- symbolic model checking
- test suite
- set theory
- ai planning
- building blocks
- web services
- specification language
- binary decision diagrams
- machine learning
- domain specific
- software components
- fuzzy logic
- data analysis
- image processing
- data mining