Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
astuces:free_software_for_formal_verification [Le 17/03/2019 à 23:25] jaxom créée |
astuces:free_software_for_formal_verification [Le 17/03/2019 à 23:28] (Version actuelle) jaxom |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Free software tools for formal verification of computer programs ====== | ====== Free software tools for formal verification of computer programs ====== | ||
- | by [[david_mentre|David Mentré]] <[[dmentre@linux-france.org]]> | + | by [[:david_mentre|David Mentré]] <[[dmentre@linux-france.org]]> |
//Version 3.16 2017-08-16// | //Version 3.16 2017-08-16// |