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