Using satisfiability modulo theories for inductive verification of Lustre programs

MaRDI QIDQ2848674zbMATH OpenFDO

Authors Anders Franzén

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052412

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1696765
• Satisfiability modulo theories
• Computer Aided Verification
• Temporal induction by incremental SAT solving
• An experience in proving regular networks of processes by modular model checking

Cited in

(1)

• scientific article; zbMATH DE number 1696765 (Why is no real title available?)

This page was built for publication: Using satisfiability modulo theories for inductive verification of Lustre programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848674)