Login / Signup
Industrial experience of abstract interpretation-based static analyzers.
Jean Souyris
Published in:
IFIP Congress Topical Sessions (2004)
Keyphrases
</>
abstract interpretation
dynamic analysis
static analysis
termination analysis
reverse engineering
active rules
model checking
source code
active databases
reasoning engine
database