Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development

Asieh Salehi Fathabadi, Mark Hermeling

Other talks in FMICS Session 1:

• A Formally Verified N-Dimensional Safety Shield for Autonomous Systems
• Deductive Verification of a Patricia Trie with Creusot

 Overview  Program   FMICS Program