Formal Verification of QVT Transformations for Code Generation.
Kurt StenzelNina MoebiusWolfgang ReifPublished in: MoDELS (2011)
Keyphrases
- formal verification
- code generation
- model checking
- formal specification
- application development
- software development
- model checker
- modeling language
- code generator
- model driven
- automated verification
- software reuse
- bounded model checking
- rapid prototyping
- temporal logic
- symbolic model checking
- design patterns
- database
- formal methods
- data driven
- learning process
- information technology