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.