Eventos
![Banner do evento](https://hongkong.imd.ufrn.br/filemanagerportal/source/2023/CLEARSY_SITE.png)
Palestra
15/12/2023
Sala B203
09:00
O evento é gratuito
O evento não gera certificado
Title: Ensuring Safety and Security in Software-Based Systems
Abstract:
How can we develop and verify safe and secure software that will make intelligent decisions when transporting us? This presentation provides an introduction to formal methods. It addresses the demonstration of safety and security for automatic/autonomous ground mobility. It presents the technical challenges that need to be met.