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

George Hagen, Cesare Tinelli

Browse the full FMCAD paper archive.