scientific article; zbMATH DE number 2080049

zbMATH Open1043.68527MaRDI QIDQ4472237FDOQ4472237

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• From Software Specifications to Constraint Programming
• Design and implementation of bounded-length sequence variables
• 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)