Safery verification for robotic software
The SAFER project aimed to develop techniques and tools for ensuring the quality of robotic software developed with ROS. To facilitate the integration and adoption by the robotics community, the project focused on developing techniques that worked directly from source code and supported by automated verification tools. The main deliverable of the project was the HAROS tool for static analysis of ROS software.