A Case study in Model Checking Software Systems.
Jeannette M. WingMandana VaziriPublished in: Sci. Comput. Program. (1997)
Keyphrases
- software systems
- model checking
- temporal logic
- software engineering
- formal verification
- source code
- formal specification
- software development
- automated verification
- symbolic model checking
- model checker
- software maintenance
- computation tree logic
- software architecture
- temporal properties
- software components
- bounded model checking
- epistemic logic
- case study
- timed automata
- design patterns
- verification method
- transition systems
- embedded systems
- metamodel
- concurrent systems
- software testing
- formal methods
- multi agent systems
- linux kernel
- component based software
- reactive systems
- planning domains
- object oriented
- real world
- complex software systems
- deterministic finite automaton
- multi agent