Formal Verification of a C Value Analysis Based on Abstract Interpretation

Sandrine Blazy Vincent Laporte André Maroneze David Pichardie

Published in: CoRR (2013)

Keyphrases

formal verification
model checking
abstract interpretation
static analysis
model checker
database
software engineering