Compositional Verification of Architectural Refactorings.
Dénes BisztrayReiko HeckelHartmut EhrigPublished in: WADS (2008)
Keyphrases
- software architecture
- model checking
- formal analysis
- formal verification
- formal methods
- concurrent systems
- asynchronous circuits
- architectural design
- database schema
- face verification
- data sets
- search algorithm
- software evolution
- signature verification
- learning environment
- high level
- person identification
- website
- verification method
- genetic algorithm