Reverse Dependencies of hpl-rv

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

• hpl-rv-ros — Runtime Verification tools for ROS systems