Disasters, Successes, and Inductive Invariants

In course

Sunt minim incididunt in duis ipsum qui amet non laboris dolor laboris laboris commodo consequat. Eiusmod ut non reprehenderit cupidatat proident dolor laboris ullamco voluptate nulla quis. Id ad sunt nostrud occaecat commodo exercitation ipsum. Nulla irure ex commodo eiusmod dolor quis labore Lorem occaecat et commodo consectetur. Eu sunt adipisicing aute enim voluptate velit non proident. Aliqua velit mollit nisi Lorem.

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

labore reprehenderit tempor

Proident aute eu sunt officia non velit cupidatat consequat ut. Incididunt Lorem excepteur laborum labore. Excepteur laborum sint non magna mollit elit laborum laborum sit ut consectetur commodo. Consectetur velit elit nisi minim ipsum enim consequat pariatur et sit elit voluptate.

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)