FMICS

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

Asieh Salehi Fathabadi, Mark Hermeling

in Room Din session FMICS Session 1 - Formal Verification (on, Thu, 10:30, 3 talks over 90 min)