Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.

Cinzia Bernardeschi Nicoletta De Francesco

Published in: VMCAI (2002)

Keyphrases

abstract interpretation
model checking
security properties
formal methods
termination analysis
formal specification
static analysis
formal verification
dynamic analysis
active rules
databases
case study
high level
active databases