Archives de catégorie : Event
Following our post « Event-B to demonstrate metro safety in New York« , a presentation of the final results of the project have been presented in Paris on June 26th.
The Journées sur la Fiabilité du Logiciel organized on June 14-15, 2012 by the Initiative de Recherche et Innovation sur le Logiciel Libre and the Groupe Thématique Logiciel Libre du pôle System@tic adress validation, certification, proof and code analysis. At this occasion, … Continuer la lecture
Jean Louis Dufour (Sagem Défense & Sécurité, ), will come to the AdaCore Paris offices to give a 101 introduction to the B-Method (June 26, 2012 – Paris, France) Source: adacore internal seminar
Started in February 2008, the DEPLOY project, probably the biggest Formal Method project ever funded by the European Community, completed in April 2012. During more than 4 years, 86 researchers and engineers from 14 partners have collaborated to the development, improvement and assessment of … Continuer la lecture