Verificação de segurança para software robótico
O projeto SAFER pretende desenvolver técnicas no contexto de ROS. Para facilitar a integração e adoção pela comunidade robótica, o projeto vai desenvolver técnicas que funcionarão a partir do código fonte e serão apoiadas por ferramentas de verificação automatizada.