hpl-specs

Last released Nov 20, 2023

High-level Property Specification Language

hpl-rv

Last released Nov 6, 2023

Tools to enable Runtime Verification from HPL properties

bake-a-py

Last released Sep 5, 2023

Variability analysis tool for ROS systems

hpl-rv-ros

Last released Sep 5, 2023

Runtime Verification tools for ROS systems

haros-plugin-rv-gen

Last released Aug 1, 2023

HAROS plugin to enable Runtime Verification from HPL properties

ros-modex

Last released Dec 17, 2021

A model extraction and analysis tool for ROS systems

haros

Last released Oct 18, 2021

Static analysis framework for ROS

bonsai-code

Last released Oct 8, 2021

Static analysis library.

hpl-rv-gen

Last released Sep 29, 2021

Runtime monitor generator based on HPL properties

haros-plugin-pbt-gen

Last released Aug 19, 2021

HAROS plugin to generate Property-based tests.

ros-type-tokens

Last released Aug 17, 2021

Type tokens for ROS types

haros-plugin-pyflwor

Last released Aug 13, 2021

HAROS plugin to query Configurations with Pyflwor.

haros-plugins

Last released Aug 12, 2021

Plugin repository for HAROS.

haros-plugin-model-ged

Last released Aug 10, 2021

Graph Edit Distance of HAROS models.