Techniques industrielles de modélisation formelle pour le transport

Présentation d'exemples concrets de mise en oeuvre des techniques formelles (simulation, model checking, preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande ligne. Les techniques formelles servent à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.