Formal Verification Integration Approach for DSML.

Faiez Zalila Xavier Crégut Marc Pantel

Published in: MoDELS (2013)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
program slicing
information integration
temporal logic
automated verification
functional verification
databases
relational databases
data integration
orders of magnitude