Sign in

Theories, solvers and static analysis by abstract interpretation.

Patrick CousotRadhia CousotLaurent Mauborgne
Published in: J. ACM (2012)
Keyphrases
  • abstract interpretation
  • static analysis
  • dynamic analysis
  • source code
  • regular expressions
  • satisfiability modulo theories
  • test suite
  • termination analysis
  • model checking