6 results for tags
preuve x
-
Allan Blanchard's webpage – Frama-C+WP Tutorial
Comment faire de la preuve formelle en CWed May 10 08:07:28 2023 - permalink -- https://allan-blanchard.fr/frama-c-wp-tutorial.html
-
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
-
The CBMC Homepage
Un «Bounded Model Checker» pour le C et le C++Thu Oct 28 08:53:36 2021 - permalink -- https://www.cprover.org/cbmc/
-
Weak precondition cover and witness for SVA properties — YosysHQ-AppNote-120 documentation
«Application note» sur la méthode formelle par YosysHQSat Jun 5 07:34:25 2021 - permalink -- https://yosyshq.readthedocs.io/projects/ap120/en/latest/
-
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/
-
Pourquoi les faits ne suffisent pas à convaincre les gens qu'ils ont tort - Pour la Science
Fri Jan 20 09:38:21 2017 - permalink -- http://www.pourlascience.fr/ewb_pages/a/actu-pourquoi-les-faits-ne-suffisent-pas-a-convaincre-gens-qu-ils-ont-tort-38103.php