Theory Plug-in for Rodin 3.x
T.S. Hoang, L. Voisin, A. Salehi, M. Butler, T. Wilkinson, N. Beauger
TL;DR
The paper discusses updates to the Theory plug-in for Rodin 3.x, enhancing its reliability, usability, and compatibility with the latest version, along with core system modifications and future research directions.
Contribution
It introduces improvements to the Theory plug-in for Rodin 3.x, ensuring better integration, reliability, and usability compared to previous versions.
Findings
Enhanced compatibility with Rodin 3.x
Improved reliability and usability
Identified future development directions
Abstract
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We will also present the changes that were needed in the Rodin core to accommodate the Theory plug-in. Finally, we identify future enhancements and research directions for the Theory plug-in.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBayesian Modeling and Causal Inference · Simulation Techniques and Applications · Nuclear reactor physics and engineering