Login / Signup

The Verification Grand Challenge and Abstract Interpretation.

Patrick Cousot
Published in: VSTTE (2005)
Keyphrases
  • grand challenge
  • abstract interpretation
  • model checking
  • termination analysis
  • static analysis
  • autonomous driving
  • active rules
  • dynamic analysis
  • reasoning engine
  • databases
  • active databases