Author:
Leuschel Michael,Massart Thierry
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference50 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press (1996)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)
3. Abrial, J.-R., Butler, M., Hallerstede, S.: An open extensible tool environment for Event-B. In: ICFEM06, LNCS 4260, pp. 588–605. Springer (2006)
4. B-Core (UK) Ltd, Oxon, UK. B-Toolkit, On-line manual. Available at http://www.b-core.com/ONLINEDOC/Contents.html (1999). Accessed 10 August 2010
5. Barner, S., Grumberg, O.: Combining symmetry reduction and under-approximation for symbolic model checking. Form. Methods Syst. Des. 27(1–2), 29–66 (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Operation Caching and State Compression for Model Checking of High-Level Models;Lecture Notes in Computer Science;2022
2. Symmetry reduction in CSP model checking;International Journal on Software Tools for Technology Transfer;2019-04-01
3. Towards deductive verification of C11 programs with Event-B and ProB;Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19;2019
4. Translating B to TLA+ for validation with TLC;Science of Computer Programming;2016-12
5. Symbolic Reachability Analysis of B Through ProB and LTSmin;Lecture Notes in Computer Science;2016