Analyzing formal requirements specifications using an off-the-shelf model checker.
Gastón ScilingoMaría Marta NovairaRenzo DegiovanniNazareno AguirrePublished in: CLEI (2013)
Keyphrases
- model checker
- formal methods
- formal specification
- model checking
- formal verification
- temporal logic
- description language
- knowledge based systems
- specification language
- symbolic model checking
- reactive systems
- requirements specification
- transition systems
- set theory
- test suite
- software engineering
- concurrent systems
- reverse engineering
- ai planning
- planning domains
- web services
- development process
- binary images
- orders of magnitude
- gray scale
- edge detection
- fuzzy logic