Skip to content

@autonomy-and-verification Autonomy and Verification Network

Change the repository type filter

All

    Repositories list

    14 repositories

    • autonomy-and-verification.github.io

      Public
      Website for the Autonomy and Verification Network.
      HTML
      •
      The Unlicense
      •40•0•4•0•Updated Dec 28, 2025Dec 28, 2025

    • varanus

      Public
      A Runtime Verification toolchain that uses a CSP model as its oracle.
      communicating-sequential-processesruntime-verificationruntime-monitoring
      Python
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Mar 28, 2025Mar 28, 2025

    • robochart_remoteinspection

      Public
      A RoboChart Model for the Remote Inspection Use Case
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • ros-contract-language

      Public
      A contract language for ROS nodes
      Python
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Jan 18, 2025Jan 18, 2025

    • leader-follower-tool

      Public
      A tool for verifying leader/follower systems using SMT solvers
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • Explainability-Requirements-Paper

      Public
      0•1•0•0•Updated Mar 14, 2024Mar 14, 2024

    • acronyms

      Public
      Acronyms used within the lab, as CSV and as Latex acronyms.
      TeX
      •0•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • eventb-planner-module-louise

      Public
      Planner module for use in compositional verification approaches. Louise's version.
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Jan 19, 2023Jan 19, 2023

    • security-minded-verification

      Public
      Source code for the paper "Security-Minded Verification of Cooperative Awareness Messages" currently submitted to IEEE Transactions on Dependable and Secure Computing
      Promela
      •
      MIT License
      •0•0•0•0•Updated Aug 8, 2022Aug 8, 2022

    • reconfigurability

      Public
      Reconfigurability framework used in the paper "Plan Library Reconfigurability in BDI Agents".
      Java
      •
      MIT License
      •0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

    • gwendolen-crcl-kitting

      Public
      Gwendolen code for a simulation of a kitting problem, using an interface with CRCL.
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 21, 2021Dec 21, 2021

    • ethicalgov

      Public
      Representation of an ethical governor system as a multi-agent problem in the Jason agent-oriented programming language.
      ASL
      •
      GNU General Public License v3.0
      •0•0•2•0•Updated Mar 3, 2021Mar 3, 2021

    • compositional-verification-SafeComp2021

      Public
      Repository for the artefacts used in the implementation of the work submitted to SafeComp2021.
      0•0•0•0•Updated Feb 8, 2021Feb 8, 2021

    • templates

      Public
      Templates for the A&V Lab
      TeX
      •0•0•0•0•Updated Jan 7, 2019Jan 7, 2019