Atelier outils formels pour la vérification de logiciel et matériel


Le but de cet atelier est de promouvoir et comprendre les logiciels libres qui permettent de faire de la vérification formelle ou semi-formelle de logiciel, matériel, etc. Autrement dit : arrêter de développer du logiciel avec des techniques des années 70 et faire enfin du logiciel normal, sans bug ! :-)

Pour l'instant, le seul résultat de cet atelier est une liste de logiciels libres de vérification formelle.

On trouve pas mal d'info utiles sur Formal Methods wiki.

 
atelier_outils_formels.txt · Dernière modification: Le 05/06/2010 à 12:32 par migrate-to-doku     Haut de page
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Design by Chirripó