Catastrophes et succès des logiciels : Impact de la vérification et systèmes de transition

Cette séance de cours couvre l'impact de la vérification logicielle à travers des exemples de catastrophes comme l'explosion de la fusée Ariane 5 et des succès tels que la vérification du logiciel de contrôle d'Airbus. Il introduit des systèmes de transition, expliquant les états, les relations de transition et les algorithmes de contrôle d'accessibilité.