FLAVERS: A finite state verification technique for software systems.
Jamieson M. CobleighLori A. ClarkeLeon J. OsterweilPublished in: IBM Syst. J. (2002)
Keyphrases
- software systems
- finite state
- model checking
- markov chain
- temporal logic
- software engineering
- source code
- software development
- high assurance
- markov decision processes
- software architecture
- software components
- software design
- linux kernel
- formal specification
- optimal policy
- metamodel
- software maintenance
- software evolution
- software engineers
- multi agent systems
- complex software systems
- tree automata
- partially observable markov decision processes
- formal methods
- software testing
- concurrent systems
- software projects
- finite state transducers
- databases
- open source