Counterexample Driven Refinement for Abstract Interpretation.

Bhargav S. Gulavani Sriram K. Rajamani

Published in: TACAS (2006)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
reasoning engine
databases
high level
distributed systems