CLPS-B—A Constraint Solver for B-Reference-Cited by-同舟云学术

CLPS-B—A Constraint Solver for B

Published:2002 Issue: Volume: Page:188-204
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bouquet Fabrice,Legeard Bruno,Peureux Fabien

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46002-0_14

Reference22 articles.

1. J-R Abrial. The B-Book. Cambridge University Press, 1996.

2. F. Ambert, B. Legeard, and E. Legros. Constraint Logic Programming on Sets and Multisets. In Proceedings of ICLP’94, pages 151–165, 1994.

3. A. Aiken and E.L. Wilmmers. Type Inclusion Constraints and Type Inference. In Conference on FPL Computer Architecture, pages 31–41, 1993.

4. B-Core(UK) Ltd, http://www.b-core.com/btoolkit.html . B-Toolkit, 10/2001.

5. F. Bouquet, B. Legeard, and F. Peureux. Constraint logic programming with sets for animation of B formal specifications. In CL’2k Workshop LPSE, 2000.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The First Twenty-Five Years of Industrial Use of the B-Method;Formal Methods for Industrial Critical Systems;2020

2. Automated Property Verification for Large Scale B Models;FM 2009: Formal Methods;2009

3. ProB: an automated analysis toolset for the B method;International Journal on Software Tools for Technology Transfer;2008-01-08

4. Automated Boundary Test Generation from JML Specifications;FM 2006: Formal Methods;2006

5. Visualising Larger State Spaces in Pro B;ZB 2005: Formal Specification and Development in Z and B;2005