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