Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Description

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.

Details

Details

  • Acronym

    SAFER
  • Start

    01st July 2018
  • Global Budget

    237.668,26 €
  • State

    Completed
  • Effective End

    15th October 2021
  • End

    15th October 2021
  • Responsible

    Alcino Cunha
  • Financing

    237.668,26 €
  • Funded by

Team
002

Associated Centres

CRIIS

Centre

Robotics in Industry and Intelligent Systems

HASLab

Centre

High-Assurance Software