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.
Event-B to demonstrate metro safety in New York
Ce contenu a été publié dans Applications. Vous pouvez le mettre en favoris avec ce permalien.