Dans le cadre de la conférence HIS 2016 à Bristol le 1er novembre, Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires.
Elle a abordé plus particulièrement les techniques et domaines d’application des méthodes formelles ainsi que leur mise en pratique dans un projet industriel de taille conséquente.
En savoir plus