Popular repositories Loading

1. ros-contract-language ros-contract-language Public

   A contract language for ROS nodes

   Python 2 1

2. eventb-planner-module-louise eventb-planner-module-louise Public

   Planner module for use in compositional verification approaches. Louise's version.

   1

3. Explainability-Requirements-Paper Explainability-Requirements-Paper Public

   1

4. templates templates Public

   Templates for the A&V Lab

   TeX

5. acronyms acronyms Public

   Acronyms used within the lab, as CSV and as Latex acronyms.

   TeX

6. varanus varanus Public

   A Runtime Verification toolchain that uses a CSP model as its oracle.

   Python 1