A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.

Published in: ICTAC (2008)

Keyphrases

formal verification
abstract interpretation
model checking
temporal logic
model checker
termination analysis
automated verification
symbolic model checking
bounded model checking
formal specification
active rules
formal methods
static analysis
active databases
databases
database
reasoning engine
software testing