Sign in

Counterexample Driven Refinement for Abstract Interpretation.

Bhargav S. GulavaniSriram K. Rajamani
Published in: TACAS (2006)
Keyphrases
  • abstract interpretation
  • model checking
  • termination analysis
  • static analysis
  • active rules
  • reasoning engine
  • databases
  • high level
  • distributed systems