Building a Symbolic Model Checker from Formal Language Description.
Edmundo López BóbedaMaximilien ColangeDidier BuchsPublished in: ACSD (2015)
Keyphrases
- formal language
- model checker
- model checking
- formal verification
- formal semantics
- formal methods
- temporal logic
- description language
- binary decision diagrams
- formal specification
- test suite
- high level
- natural language interface
- natural language
- specification language
- case study
- representation language
- query language
- knowledge based systems