2 results for tags
formel x
-
Guest Lecture - Formal Verification in Chisel (Kevin Laeufer) - YouTube
Un cours sur la preuve formelle avec Chisel. Par l'auteur de la librairie.Thu Feb 24 20:48:55 2022 - permalink -- https://www.youtube.com/watch?v=ssAbq5tdh8Y
-
Coq, assistant de preuve : Dossier complet | Techniques de l’Ingénieur
sous le coudeThu Jan 7 10:41:58 2021 - permalink -- https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/programmation-42304210/coq-assistant-de-preuve-h3310/