Symbolic Model Checking of Software.
Flavio LerdaNishant SinhaMichael TheobaldPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- symbolic model checking
- model checking
- safety analysis
- formal verification
- partial observability
- software development
- model checker
- symbolic representation
- conformant planning
- binary decision diagrams
- software components
- test suite
- pattern mining
- software systems
- formal methods
- data mining
- temporal logic
- web services
- artificial intelligence