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 274 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Floating-Point Numbers Theory for Event-B;Model and Data Engineering;2023-12-22

2. Runtime Verification of Operating Systems Based on Abstract Models;Programming and Computer Software;2023-12

3. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals;ACM Transactions on Computational Logic;2023-11-18

4. Certified Control for Train Sign Classification;Electronic Proceedings in Theoretical Computer Science;2023-11-15

5. Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method;iFM 2023;2023-11-06