uoy-robostar Goto Github PK

atom-linter-cspm

A linter for Atom that uses FDR3's typechecker.

eclipse-oomph-console

Console Oomph Installer

ga-activate-fdr

GitHub Action to validate FDR license.

ga-eclipse-deploy

GitHub action to deploy Eclipse plug-ins to the web.

hvc-case-study

Source for the HVC RoboTool model

physmod-physics-engine

pmodel-examples

Collection of examples of p-models.

rc2rs-tests

roboarch-examples

This repository contains a set of examples used for testing the tool

roboarch-metamodel

This repository contains the eclipse plugins that implement the metamodel of RoboArch

roboarch-textual

This repository contains the plugins for the RoboArch textual editor

roboarch2chart-epsilon

Epsilon programs for model-to-model transformation from RoboArch to RoboChart.

robocert-evaluation

Evaluation artefacts for RoboCert

robocert-metamodel

Metamodel plugins for RoboCert

robocert-textual

Textual plugin and CSP generator for RoboCert

robochart-ann-components

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

robochart-metamodel

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

robochart-normalisation

robochart-normalisation-tests

This project contains RoboChart models used for testing the normalisation of RoboChart machines

robochart-tests

This project contains RoboChart models used for testing the RoboTool plugins

robochart-textual

This repository contains the plugins for the RoboChart textual editor

robochart2text-epsilon

Epsilon programs for model-to-text generation for RoboCha

robosim-metamodel

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

robosim-textual

This repository contains the plugins for the RoboSim textual editor.

robotool

Top-level repository for tracking issues and discussions about overall RoboTool.

rouge

A pure Ruby code highlighter that is compatible with Pygments. UoY-RoboStar version with support to highlight CSPM and RoboChart assertions.

rtcg

Test code generator for forbidden-trace tests

sleec-tk

tick-tock-csp

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

uvc-case-study

Source of RoboChart models for robotic UVC light treatment