— Permalink]]>Weak precondition cover and witness for SVA properties — YosysHQ-AppNote-120 documentationhttp://fabienm.eu/shaarli/shaare/fLLNcg2021-06-05T07:34:25+02:002021-06-05T07:34:25+02:00
«Application note» sur la méthode formelle par YosysHQ
— Permalink]]>Coq, assistant de preuve : Dossier complet | Techniques de l’Ingénieurhttp://fabienm.eu/shaarli/shaare/MXLPtw2021-01-07T10:41:58+01:002021-01-07T10:41:58+01:00
sous le coude
— Permalink]]>Pourquoi les faits ne suffisent pas à convaincre les gens qu'ils ont tort - Pour la Sciencehttp://fabienm.eu/shaarli/shaare/dUjl6Q2017-01-20T09:38:21+01:002017-01-20T09:38:21+01:00— Permalink]]>