A Case Study in Combining Formal Verification and Model-Driven Engineering.

Selma Djeddai Mohamed Mezghiche Martin Strecker

Published in: ICTERI (2012)

Keyphrases

formal verification
model driven engineering
model checking
automated verification
model driven
model checker
bounded model checking
symbolic model checking
case study
temporal logic
database
relational databases
software engineering
software systems
model driven architecture
ami systems