Login / Signup
Abstract Interpretation-Based Certification of Assembly Code.
Xavier Rival
Published in:
VMCAI (2003)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
dynamic analysis
source code
active rules
model checking
active databases
open source
database
regular expressions
reverse engineering
reasoning engine
databases
software systems
integrity constraints