Reverse Dependencies of hpl-specs

The following projects have a declared dependency on hpl-specs:

• haros — Static analysis framework for ROS
• haros-plugin-pbt-gen — HAROS plugin to generate Property-based tests.
• hpl-rv — Tools to enable Runtime Verification from HPL properties
• hpl-rv-gen — Runtime monitor generator based on HPL properties
• hpl-rv-ros — Runtime Verification tools for ROS systems
• svROS — Security Verification in ROS