Login / Signup

Verification by Abstract Interpretation.

Patrick Cousot
Published in: Verification: Theory and Practice (2003)
Keyphrases
  • abstract interpretation
  • model checking
  • termination analysis
  • static analysis
  • active rules
  • dynamic analysis
  • reasoning engine
  • active databases
  • database
  • knowledge base
  • logic programming