Formal Verification of Component-Based Software Systems.
Leandro Dias da SilvaAngelo PerkusichPublished in: NDDL/VVEIS (2003)
Keyphrases
- software systems
- formal verification
- model checking
- software engineering
- source code
- software development
- automated verification
- model checker
- bounded model checking
- multi agent systems
- software design
- software maintenance
- software components
- software quality
- symbolic model checking
- metamodel
- software architecture
- temporal logic
- functional requirements
- machine learning
- software evolution
- complex software systems
- software testing
- formal specification
- design patterns
- high level