Deductive Verification of a Patricia Trie with Creusot

Téo Bernier, Frédéric Loulergue, Nikolai Kosmatov

Other talks in FMICS Session 1:

• Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development
• A Formally Verified N-Dimensional Safety Shield for Autonomous Systems

 Overview  Program   FMICS Program