scientific article; zbMATH DE number 2080049

MaRDI QIDQ4472237zbMATH OpenFDO

Authors F. Bouquet, Bruno Legeard, Fabien Peureux

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800188.htm

zbMATH Keywords

CSPAnimationCLPSet constraintsB MethodEvaluation of specifications

Mathematics Subject Classification ID

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

Recommendations

• Constraint-based deductive model checking
• scientific article; zbMATH DE number 1696809
• Constraint satisfaction using constraint logic programming
• Constraint logic programming with polynomial constraints over finite domains
• A simple and efficient Boolean solver for constraint logic programming

Cited in

(3)

• Design and implementation of bounded-length sequence variables
• From Software Specifications to Constraint Programming
• CLPS-B

This page was built for publication:

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