Model Checking Software Systems: A Case Study.
Jeannette M. WingMandana VaziriPublished in: SIGSOFT FSE (1995)
Keyphrases
- software systems
- model checking
- temporal logic
- software engineering
- source code
- model checker
- formal verification
- automated verification
- temporal properties
- software architecture
- software maintenance
- formal specification
- symbolic model checking
- timed automata
- software components
- case study
- software development
- transition systems
- computation tree logic
- epistemic logic
- metamodel
- multi agent systems
- verification method
- linux kernel
- bounded model checking
- complex software systems
- software intensive systems
- artificial intelligence
- planning domains
- reactive systems
- formal methods
- embedded systems
- deterministic finite automaton