Formal Verification of Large Software Systems.
Xiang YinJohn C. KnightPublished in: NASA Formal Methods (2010)
Keyphrases
- software systems
- formal verification
- model checking
- software engineering
- source code
- model checker
- automated verification
- software development
- software components
- bounded model checking
- software architecture
- software design
- metamodel
- symbolic model checking
- software maintenance
- temporal logic
- software testing
- linux kernel
- design patterns
- software engineers
- software evolution
- description language
- multi agent systems
- software metrics
- complex software systems
- component based software