Login / Signup
Formal Verification by Abstract Interpretation.
Patrick Cousot
Published in:
NASA Formal Methods (2012)
Keyphrases
</>
abstract interpretation
formal verification
model checking
temporal logic
model checker
automated verification
termination analysis
symbolic model checking
bounded model checking
formal specification
static analysis
formal methods
active databases
case study
relational databases
planning domains