Sign in
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.
Antoine Miné
Published in:
Found. Trends Program. Lang. (2017)
Keyphrases
</>
abstract interpretation
dynamic analysis
static analysis
termination analysis
model checking
active rules
active databases
reverse engineering