Archives de catégorie : Event

System Level Formal (Proof Based) Verification For The CBTC of New York’s line 7 (Flushing)

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.

Publié dans Applications, Event | Laisser un commentaire

Atelier B 4.x at Reliable Software Workshop (Paris)

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

Publié dans Event, Tools | 2 commentaires

B-Method – AdaCore micro-seminar

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

Publié dans Event | Laisser un commentaire

DEPLOY project completed

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

Publié dans Event, Research | Laisser un commentaire