Author:
Abrial Jean-Raymond,Butler Michael,Hallerstede Stefan,Hoang Thai Son,Mehta Farhad,Voisin Laurent
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference40 articles.
1. Abrial J.-R. (1996) The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge
2. Abrial J.-R. (2010) Modelling in Event-B: System and Software Design. Cambridge University Press, Cambridge
3. Abrial J.-R., Butler M., Hallerstede S., Voisin L. (2006) An open extensible tool environment for Event-B. In: Liu Z., He J. (eds) ICFEM 2006, vol. 4260. Springer, Berlin, pp 588–605
4. Abrial, J.-R., Cansell, D.: Click’n’Prove: Interactive Proofs within Set Theory. In: Theorem Proving in Higher Order Logics. LNCS, vol. 2758, pp. 1–24 (2003)
5. Abrial J.-R., Hallerstede S. (2007) Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inf. 77(1–2): 1–28
Cited by
478 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures;Lecture Notes in Computer Science;2024-09-10
2. Bunch theory: Axioms, logic, applications and model;Journal of Logical and Algebraic Methods in Programming;2024-08
3. Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24
4. Formalising a Gateway-based Blockchain Interoperability Solution with Event-B;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27
5. Modeling of a speed control system using Event-B;International Journal on Software Tools for Technology Transfer;2024-05-15