All

4 repositories

hpl-rv-ros
Public
Tools to enable Runtime Verification in ROS using HPL properties
monitoring ros code-generation quality-assurance ros2 runtime-verification
Python
•
MIT License
•0•2•0•2•Updated Jan 24, 2025Jan 24, 2025
stratis
Public
Graphical User Interface to debug ROS systems
visualization debugging dashboard architecture modeling static-analysis verification ros inspection model-extraction
Vue
•
MIT License
•0•1•6•1•Updated Jan 22, 2025Jan 22, 2025
haros
Public
The High-Assurance ROS framework
Python
•
MIT License
•0•0•0•1•Updated Jan 20, 2025Jan 20, 2025
haros-design-docs
Public
Design documents and notes for HAROS
MIT License
•0•0•0•0•Updated May 10, 2023May 10, 2023