A Formally Verified N-Dimensional Safety Shield for Autonomous Systems

Benjamin Puyobro, Paolo Crisafulli, Burkhart Wolff

Other talks in FMICS Session 1:

• Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development
• Deductive Verification of a Patricia Trie with Creusot

 Overview  Program   FMICS Program