[PDF][PDF] A roadmap for the Rodin toolset
JR Abrial, M Butler, S Hallerstede, L Voisin - 2008 - eprints.soton.ac.uk
… In its present form, Rodin provides a powerful and effective toolset for Event-B development
… the toolset to large industrial-scale developments. We outline the main extensions to Rodin …
… the toolset to large industrial-scale developments. We outline the main extensions to Rodin …
[PDF][PDF] A roadmap for the Rodin toolset version 1.0: 12 June 2008
JR Abrial, M Butler, S Hallerstede, L Voisin - Börger et al.[19] - core.ac.uk
… of the toolset to large industrial-scale developments. We outline the main extensions to Rodin
… * The continued development of the Rodin toolset is funded by the EU research project ICT …
… * The continued development of the Rodin toolset is funded by the EU research project ICT …
Rodin: an open toolset for modelling and reasoning in Event-B
… This is an important usability consideration of our Rodin toolset. Moreover, the technical
detail described in this section is also to ensure that manual proofs can be … 11 Roadmap …
detail described in this section is also to ensure that manual proofs can be … 11 Roadmap …
Developing Camille, a text editor for Rodin
J Bendisposto, F Fritz, M Jastram… - Software: Practice …, 2011 - Wiley Online Library
… -B and Rodin. In Section 2 we present some background about the Rodin toolset, whereas
in … We present experiences, statistics and a roadmap in Section 6. We end with related work …
in … We present experiences, statistics and a roadmap in Section 6. We end with related work …
[PDF][PDF] Rodin User and Developer Workshop 2009-Extended Abstracts
M Butler, S Hallerstede, L Voisin - 2009 - web-archive.southampton.ac.uk
… We propose two plug-ins for the Rodin toolset. Firstly, we aim to create a proof planning plug…
A roadmap has been produced which outlines the planned extensions to the Rodin toolset …
A roadmap has been produced which outlines the planned extensions to the Rodin toolset …
[PDF][PDF] Rodin User and Developer Workshop 2009
M Butler, S Hallerstede - 2009 - academia.edu
… We propose two plug-ins for the Rodin toolset. Firstly, we aim to create a proof planning plug…
A roadmap has been produced which outlines the planned extensions to the Rodin toolset …
A roadmap has been produced which outlines the planned extensions to the Rodin toolset …
On Two Friends for Getting Correct Programs: Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
… Event B modelling language and its associated tool-set, the Rodin platform. The output from
our … We present a plug-in for the Rodin platform that reads in an Event B model and uses the …
our … We present a plug-in for the Rodin platform that reads in an Event B model and uses the …
[PDF][PDF] Sculpturing Event-B models with Rodin:“holes and lumps” in teaching refinement through problem-based learning
JP Gibson, E Lallet, JL Raffy - … Methods-The B …, 2009 - www-public.telecom-sudparis.eu
… Rodin over a period of three years. In the first year, we prepared lecture slides based on
Event-B case studies and tutorials that were available at the Rodin … Use the Rodin toolset to …
Event-B case studies and tutorials that were available at the Rodin … Use the Rodin toolset to …
[PDF][PDF] BART: A tool for automatic refinement
A Requet - ABZ2008 Conference, 2008 - researchgate.net
… the toolset to large industrial-scale developments. We outline the main extensions to Rodin
that … will investigate and implement Rodin extensions that are not identified in our roadmap. …
that … will investigate and implement Rodin extensions that are not identified in our roadmap. …
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
MSN Yagmahan, A Rezazadeh, M Butler - International Conference on …, 2024 - Springer
… We have used Event-B and its associated toolset, Rodin, to construct these formal
patterns and demonstrated how these patterns can be used in practical case studies. …
patterns and demonstrated how these patterns can be used in practical case studies. …