Popular repositories

1. robocert-textual robocert-textual Public

   Textual plugin and CSP generator for RoboCert

   Java 2

2. uvc-case-study uvc-case-study Public

   Source of RoboChart models for robotic UVC light treatment

   HTML 1

3. robochart-ann-components robochart-ann-components Public

   Software and implementation artefacts concerning the in development RoboChart artificial neural network components.

   Java 1

4. tick-tock-CSP tick-tock-CSP Public

   tick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)

   Isabelle 1

5. robochart-metamodel robochart-metamodel Public

   This repository contains the eclipse plugins that implement the metamodel of RoboChart.

   Java 3

6. robochart-textual robochart-textual Public

   This repository contains the plugins for the RoboChart textual editor

   Xtend 1