Model Checking Process with Goal Oriented Requirements Analysis.
Hideto OgawaFumihiro KumenoShinichi HonidenPublished in: APSEC (2008)
Keyphrases
- goal oriented
- requirements analysis
- model checking
- requirements engineering
- temporal logic
- development process
- mental imagery
- verification method
- software development
- temporal properties
- business intelligence
- formal verification
- automated verification
- symbolic model checking
- machine learning
- model checker
- linear temporal logic
- deterministic finite automaton
- timed automata
- concurrent systems
- formal specification
- end users