Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques.

George Hagen Cesare Tinelli

Published in: FMCAD (2008)

Keyphrases

formal verification
program slicing
model checking
model checker
symbolic model checking
bounded model checking
automated verification
computer programs
temporal logic
statistical machine translation
knowledge base
orders of magnitude