Journées sur la fiabilité du Logiciel – 14 & 15 juin 2012

Les Journées sur la Fiabilité du Logiciel, organisées les 14 et 15 Juin 2012 par l’Initiative de Recherche et Innovation sur le Logiciel Libre et le Groupe Thématique Logiciel Libre du pôle System@tic, adressent la validation, la certification, la preuve et l’analyse de code. A cette occasion, l’Atelier B et ses applications seront présentées.