ProB: A Model Checker for B-Reference-Cited by-同舟云学术

ProB: A Model Checker for B

Published:2003 Issue: Volume: Page:855-874
ISSN:0302-9743
Container-title:FME 2003: Formal Methods
language:
Short-container-title:

Author:

Leuschel Michael,Butler Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45236-2_46

Reference35 articles.

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

2. Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Utting, M., Vacelet, N.: BZ-testing-tools: A tool-set for test generation from Z and B using constraint logic programming. In: Proceedings of FATES 2002, Formal Approaches to Testing of Software, August 2002, pp. 105–120 (2002); Technical Report, INRIA

3. AT&T Labs-Research. Graphviz - open source graph drawing software, Obtainable at http://www.research.att.com/sw/tools/graphviz/

4. B-Core (UK) Limited, Oxon, UK. B-Toolkit, On-line manual (1999), Available at http://www.b-core.com/ONLINEDOC/Contents.html

5. Lecture Notes in Computer Science;B. Bérard,1999

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

1. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures;Lecture Notes in Computer Science;2024-09-10

2. Service to service communication based on CBPS system: refinement and verification;Soft Computing;2024-07-24

3. A Process-Centric Approach to Insider Threats Identification in Information Systems;Lecture Notes in Computer Science;2024

4. An Automatically Verified Prototype of a Landing Gear System;Lecture Notes in Computer Science;2024

5. Proving B with Atelier B;Lecture Notes in Computer Science;2024