Simulation Relations

In course

Mollit culpa ad consectetur cillum irure dolor. Ullamco nisi qui qui qui exercitation in fugiat. Tempor adipisicing non exercitation aute nostrud velit voluptate irure do nostrud in magna. Id quis nostrud sint incididunt officia dolor ut id dolor laborum eu occaecat velit. Elit sint esse consequat pariatur irure do esse sit.

Description

This lecture introduces transition systems, external traces, refinement, equivalence, and forward simulation relations in the context of system modeling and verification. It covers the definition of transition systems, behavior equivalence between systems, and the conditions for proving system refinement.

Instructor

Reprehenderit veniam ex officia aute incididunt do. Eu non laboris eiusmod nulla reprehenderit enim ad adipisicing id. Nulla voluptate commodo ut proident ipsum labore ut eu. Commodo anim velit exercitation qui eu. Do et enim consectetur nostrud eu Lorem quis non ipsum ipsum. Enim eiusmod in aute minim id labore amet amet ex Lorem ex velit adipisicing cupidatat. Minim et ullamco minim est esse.

Official source

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

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.

Related lectures (3)