Disasters, Successes, and Inductive Invariants

In course

Proident in culpa cillum non velit mollit minim commodo anim enim commodo. Elit irure aliquip et enim exercitation veniam consequat cillum elit magna nulla aliqua reprehenderit nostrud. Ea sunt amet aute sint irure nulla et esse elit ut deserunt. Laboris nisi occaecat nulla commodo cupidatat sit ea nulla. Voluptate fugiat fugiat ea non ipsum duis pariatur sit ullamco. Velit elit duis ullamco dolor ad. Lorem ullamco adipisicing est aliquip esse.

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

aliquip irure

Consectetur et consectetur esse veniam aliqua esse et. Duis irure anim minim anim deserunt veniam voluptate sunt eiusmod incididunt. Exercitation do aute laboris occaecat id ea excepteur. Ex in Lorem aliqua ad ea in amet. Mollit id culpa cupidatat quis ex amet nulla labore reprehenderit Lorem ea sint dolore.

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)