Skip to content
@autonomy-and-verification

Autonomy and Verification Network

The Autonomy and Verification Network focusses on autonomous systems and their verification.

Popular repositories Loading

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

    A contract language for ROS nodes

    Python 1 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

Repositories

Showing 10 of 14 repositories
  • autonomy-and-verification.github.io Public Forked from autonomy-and-verification-uol/autonomy-and-verification-uol.github.io

    Website for the Autonomy and Verification Network.

    autonomy-and-verification/autonomy-and-verification.github.io’s past year of commit activity
    HTML 0 Unlicense 39 4 0 Updated Sep 19, 2024
  • varanus Public

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

    autonomy-and-verification/varanus’s past year of commit activity
    Python 0 GPL-3.0 1 0 0 Updated Aug 21, 2024
  • leader-follower-tool Public

    A tool for verifying leader/follower systems using SMT solvers

    autonomy-and-verification/leader-follower-tool’s past year of commit activity
    Rust 0 CC0-1.0 0 0 0 Updated Apr 25, 2024
  • Explainability-Requirements-Paper Public
    autonomy-and-verification/Explainability-Requirements-Paper’s past year of commit activity
    1 0 0 0 Updated Mar 14, 2024
  • acronyms Public

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

    autonomy-and-verification/acronyms’s past year of commit activity
    TeX 0 0 0 0 Updated Jan 17, 2024
  • ros-contract-language Public

    A contract language for ROS nodes

    autonomy-and-verification/ros-contract-language’s past year of commit activity
    Python 1 GPL-3.0 1 0 0 Updated Aug 21, 2023
  • robochart_remoteinspection Public

    A RoboChart Model for the Remote Inspection Use Case

    autonomy-and-verification/robochart_remoteinspection’s past year of commit activity
    0 BSD-2-Clause 0 0 0 Updated Aug 18, 2023
  • eventb-planner-module-louise Public

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

    autonomy-and-verification/eventb-planner-module-louise’s past year of commit activity
    1 BSD-2-Clause 0 0 0 Updated Jan 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

    autonomy-and-verification/security-minded-verification’s past year of commit activity
    Promela 0 MIT 0 0 0 Updated Aug 8, 2022
  • reconfigurability Public

    Reconfigurability framework used in the paper "Plan Library Reconfigurability in BDI Agents".

    autonomy-and-verification/reconfigurability’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Jul 19, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…