Thread-Modular Verification Is Cartesian Abstract Interpretation.

Alexander Malkis Andreas Podelski Andrey Rybalchenko

Published in: ICTAC (2006)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
dynamic analysis
active databases
reasoning engine
database systems
pattern matching