Login / Signup
Automatic Verification by Abstract Interpretation.
Patrick Cousot
Published in:
VMCAI (2003)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
active databases
dynamic analysis
evaluation method