GT Verif – LACL – 6 november 2025
This page collects ressources related to my talk at GT Verif on November 6, 2025:
- Slides
- Library example with B (case study presented at SFSF in Feb. 2015)
- Library example with RODIN (case study presented at GT Verif in Nov. 2025)
Tools: