Disasters, Successes, and Inductive Invariants

In course

Exercitation sunt irure fugiat commodo. Amet labore fugiat enim laboris laborum velit adipisicing pariatur id culpa incididunt ullamco irure. Reprehenderit ullamco ipsum aute ea veniam veniam cupidatat duis.

Description

This lecture covers the impact of verification through examples of software disasters like the Ariane 5 rocket explosion and successful cases such as Airbus control software verification. It introduces transition systems, explicit-state reachability checking algorithms, and invariants in systems.

Instructor

ipsum et sunt

Reprehenderit ut ex sunt aliqua do exercitation commodo commodo aliquip occaecat. Mollit fugiat do do excepteur velit commodo laboris nisi. Lorem incididunt mollit minim ad non non eu veniam dolor. Aliquip ut consequat commodo ad minim eu duis cupidatat occaecat aliqua amet.

Official source

https://mediaspace.epfl.ch/media/0_fei98b8f

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Mathematics

Discrete mathematics: Graph theory

Related lectures (34)