Pinned Loading

1. Rodin-Bundles Rodin-Bundles Public

   Rodin Platform Bundles that include features developed by our group

   HTML 3 1

2. XEventB XEventB Public

   CamilleX extension for Rodin platform

   Java 3 5

3. iUML_B_ClassDiagrams iUML_B_ClassDiagrams Public

   Java 4

4. iUML_B_StateMachineDiagrams iUML_B_StateMachineDiagrams Public

   Java 5

5. ScenarioChecker ScenarioChecker Public

   An interface for running and replaying scenarios in ProB

   HTML 2 2

6. iUML_B_StateMachineAnimation1 iUML_B_StateMachineAnimation1 Public

   Animation of iUML-B StateMachine diagrams based on ProB

   Java 2