Finite state verification: An emerging technology for validating software systems (abstract only).
Lori A. ClarkePublished in: ISSTA (2000)
Keyphrases
- software systems
- finite state
- model checking
- markov chain
- source code
- markov decision processes
- product lines
- software engineering
- software architecture
- software development
- software design
- software maintenance
- software components
- temporal logic
- multi agent systems
- high assurance
- software testing
- case study
- formal specification
- development teams
- software projects
- linux kernel
- data mining
- open source
- relational databases
- software quality
- software evolution
- concurrent systems
- transition systems
- software repositories
- probabilistic context free grammars
- search algorithm
- clone detection