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

AnimationB MethodCLPCSPEvaluation of specificationsSet constraints

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
• Constraint logic programming for local and symbolic model-checking
• 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)

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

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)