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 formal demonstration of the safety case in two years.

Read more …….

Ce contenu a été publié dans Applications. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire