Archives mensuelles : juin 2012

Event-B to demonstrate metro safety in New York

The New York City Transit authority (NYCT) decided to include formal proofs at system level as part of the safety assessment for the New York City subway Line 7 (Flushing) modernization project. Event-B and Atelier B are used to complete the … Continuer la lecture

Publié dans Applications | 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