Login / Signup

Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.

Francesco Logozzo
Published in: VMCAI (2007)
Keyphrases
  • abstract interpretation
  • dynamic analysis
  • static analysis
  • model checking
  • termination analysis
  • high level
  • data analysis