Safery verification for robotic software
The SAFER project aims to develop techniques in the context of ROS. To facilitate integration and adoption by the robotics community, the project will develop techniques that will work from source code and will be supported by automated verification tools.