Login / Signup
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