Skip to Main content Skip to Navigation
Conference papers

JeB: Safe Simulation of Event-B Models in JavaScript

Faqing Yang 1 Jean-Pierre Jacquot 1 Jeanine Souquières 1 
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : The validation of formal models is a challenge for formal methods. We propose JeB, a framework which generates and executes simulations of Event-B models, even highly nondeterministic ones. JeB allows users to safely insert pieces of code to supply deterministic computations where the automatic translation fails. We present how JeB translates Event-B model into JavaScript. We define Fidelity as the formal notion which captures the idea of the correctness of a simulation. We define it through proof-obligations.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Faqing Yang Connect in order to contact the contributor
Submitted on : Saturday, December 7, 2013 - 7:00:03 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM
Long-term archiving on: : Saturday, April 8, 2017 - 2:17:12 AM


Files produced by the author(s)


  • HAL Id : hal-00908056, version 1



Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. JeB: Safe Simulation of Event-B Models in JavaScript. The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. ⟨hal-00908056⟩



Record views


Files downloads