Isabelle
- Connecting Isabelle/C with Isabelle/AutoCorres December 06, 2024
2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Invited Visit of Achim Brucker May 08, 2023
2022
- New Project on Safety in Autonomous Cars March 24, 2022
2021
- A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol December 13, 2021
- Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021