Séance de cours
Catastrophes, succès et invariants inductifs
Description
Cette séance de cours couvre l'impact de la vérification à travers des exemples de catastrophes logicielles telles que l'explosion de la fusée Ariane 5 et des cas réussis tels que la vérification du logiciel de contrôle d'Airbus. Il introduit des systèmes de transition, des algorithmes de vérification de l'accessibilité à l'état explicite et des invariants dans les systèmes.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.