Beyond the verification approach: the synthesis approach

zbMATH Open1123.68067MaRDI QIDQ5754522FDOQ5754522

Authors: Michel Barbeau, Richard St-Denis 

Publication date: 22 August 2007

Recommendations

• From program verification to program synthesis
• Verification and synthesis of reactive programs
• Preface for the SYNT
• Program Development in Computational Logic
• Counterexample guided inductive synthesis modulo theories

zbMATH Keywords

synthesis algorithms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Beyond the verification approach: the synthesis approach

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