Gallery of new files
From Event-B
Jump to navigationJump to search
This special page shows the last uploaded files.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf Son
15:17, 15 June 2021
; 35 KB
-
RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf Son
15:15, 15 June 2021
; 1.59 MB
-
RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf Son
15:11, 15 June 2021
; 1.2 MB
-
-
-
RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf Asieh
14:55, 14 June 2021
; 1.41 MB
-
-
-
-
RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf Asieh
14:52, 14 June 2021
; 1.27 MB
-
RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf Asieh
12:47, 14 June 2021
; 321 KB
-
-
-
RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf Asieh
12:38, 14 June 2021
; 210 KB
-
-
-
-
-
RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf Asieh
12:34, 14 June 2021
; 341 KB
-
-
-
-
-
-
-
-
-
-
Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf Maintenance script
20:50, 30 April 2020
; 147 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf Maintenance script
20:50, 30 April 2020
; 72 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
SliceAndMerge- A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines-slides.pdf Maintenance script
20:50, 30 April 2020
; 3.34 MB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Composition, Renaming and Generic Instantiation.pdf Maintenance script
20:50, 30 April 2020
; 2.72 MB
-
-
-
800px-Rodin Performances Core perf simple3 nos.png Maintenance script
20:50, 30 April 2020
749 × 172; 34 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Extend Rodin Tuto 1 7 Create Interface Menu.png Maintenance script
20:50, 30 April 2020
623 × 344; 41 KB
-
-
-
-
-
-
-
-
UMLBHoursOfSleepAttribute settingProperties.jpg Maintenance script
20:50, 30 April 2020
167 × 204; 14 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Extend Rodin Tuto 1 5 Manifest dependencies.png Maintenance script
20:50, 30 April 2020
945 × 697; 57 KB
-
-
-
Crossed-Project Reference for Managing Model Variations.pdf Maintenance script
20:50, 30 April 2020
; 154 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Performance of ProB on the N-Queens problem for 100 queens.jpg Maintenance script
20:50, 30 April 2020
462 × 460; 41 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Rodin Performances Core perf simplev2.png Maintenance script
20:50, 30 April 2020
1,176 × 281; 57 KB
-
-
-
-
-
-
-
-
-
-
-
-
SMT 1.4 Perf Total Remaining POs All Provers.png Maintenance script
20:50, 30 April 2020
1,638 × 768; 42 KB
-
-
-
-
-
-
-
-
-
Building Event-B Interlocking Theories- Lessons Learned using the Theory Plug-in.pdf Maintenance script
20:50, 30 April 2020
; 6.59 MB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Rodin Performances Editor perf simple.png Maintenance script
20:50, 30 April 2020
1,756 × 565; 108 KB
-
-
-
-
-
-
-
-
-
Rodin Performances Editor perf simplev2 nos.png Maintenance script
20:50, 30 April 2020
1,654 × 459; 80 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Translating SCXML Statecharts to iUML-B State-machines.pdf Maintenance script
20:50, 30 April 2020
; 216 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Extend Rodin Tuto 1 2 NewPlug-inProject.png Maintenance script
20:50, 30 April 2020
652 × 663; 67 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Rodin feature dependencies refactor.svg Maintenance script
20:50, 30 April 2020
1,311 × 1,051; 24 KB
-
-
-
-
-
-
Extend Rodin Tuto 1 7 Add Attibute Extension2.png Maintenance script
20:50, 30 April 2020
616 × 161; 14 KB
-
-
-
-
-
-
-
-
-
-
-
Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf Maintenance script
20:50, 30 April 2020
; 891 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Extend Rodin Tuto 1 7 Bound Extension New Java Class Bound.png Maintenance script
20:49, 30 April 2020
619 × 692; 73 KB
-
-
Using Rodin and BMotionStudio for Public Engagement.pdf Maintenance script
20:49, 30 April 2020
; 329 KB
-
-
-
-
-
-
