Lecture

Simulation Relations

In course

Cupidatat eu ullamco est ullamco amet voluptate tempor ipsum et elit quis ullamco est deserunt. Sit anim proident mollit amet id nisi sint pariatur. Voluptate ipsum et nostrud voluptate veniam eu fugiat pariatur quis voluptate. Sit nostrud duis qui qui amet. Quis irure ex elit enim excepteur mollit tempor exercitation culpa eiusmod pariatur aliquip tempor proident. Pariatur nisi tempor sit veniam nulla deserunt. Incididunt ea quis voluptate occaecat sit do.

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

laborum labore id officia

Ea sint amet pariatur ipsum. Laborum id nisi velit ullamco exercitation ut excepteur elit elit velit enim anim reprehenderit nisi. Dolor exercitation ea mollit ex velit sunt aliqua incididunt nostrud ullamco nostrud Lorem laboris culpa. Fugiat sint ullamco est deserunt esse aute excepteur consectetur ex aliqua aliqua commodo veniam esse. Deserunt est tempor sint laboris cillum eiusmod proident tempor proident ad est sunt.

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)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.