Skip to Main content Skip to Navigation
Conference papers

Event-B Formalization of Event-B Contexts

Jean-Paul Bodeveix 1 M Filali 1 
Abstract : This paper presents an Event-B meta-modelisation of an Event-B project restricted to its context hierarchy which introduces the functional part of a development through sets, constants, axioms and theorems. We study the proposal of a new mechanism for Event-B. It consists in allowing to instantiate in a new context an already proved theorem in a given context. We investigate the validation of the instantiation mechanism in order to prove the validity of imported theorems. We also compare the proposal with similar mechanisms available within some existing theorem provers.
Document type :
Conference papers
Complete list of metadata
Contributor : Mamoun FILALI-AMINE Connect in order to contact the contributor
Submitted on : Friday, November 5, 2021 - 4:11:09 PM
Last modification on : Monday, July 4, 2022 - 9:49:45 AM
Long-term archiving on: : Sunday, February 6, 2022 - 7:21:48 PM


Event-B Formalization Of Event...
Publisher files allowed on an open archive



Jean-Paul Bodeveix, M Filali. Event-B Formalization of Event-B Contexts. 8th International Conference on Rigorous State-Based Methods (ABZ 2021), Jun 2021, Ulm, Germany. pp.66-80, ⟨10.1007/978-3-030-77543-8_5⟩. ⟨hal-03411227⟩



Record views


Files downloads