CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Program
Registration
CONFEST 2026
FMICS
Deductive Verification of a Patricia Trie with Creusot
Téo Bernier, Frédéric Loulergue, Nikolai Kosmatov
in
Room D
in session
FMICS Session 1 - Formal Verification
(on,
Thu, 10:30
, 3 talks over 90 min)
Other talks in FMICS Session 1 - Formal Verification:
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
Program
FMICS Program