Repositories list

• rcheck

  Public
  R-CHECK language support for VS Code

  TypeScript

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•15•0•Updated Jan 8, 2026Jan 8, 2026

• recipe

  Public
  A toolkit for modelling and verification of reconfigurable multi-agent systems.

  Java

  •1•4•7•0•Updated Oct 14, 2025Oct 14, 2025

• sweap-docker

  Public
  Docker/Podman containers for sweap

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Apr 15, 2025Apr 15, 2025

• syMTri

  Public
  A tool for reactive synthesis with monitor triggers.

  monitoringltlsynthesis+ 3runtime-verificationreactive-synthesissymbolic-automata

  Python

  •0•3•1•0•Updated Nov 10, 2023Nov 10, 2023