A complete validation method based on constraints.

MaRDI QIDQ3623850zbMATH OpenFDO

Authors Alejandro Garcés Calvelo, Magali Mantilla Belett

Publication date 25 April 2009

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• A methodological view of constraint solving
• From LP to LP: Programming with constraints
• Verification Constraint Problems with Strengthening
• A survey of constraint-based programming paradigms

This page was built for publication: A complete validation method based on constraints.

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