Lecture

Simulation Relations

In course

Officia aliqua esse aliquip anim deserunt. Minim excepteur labore in aliqua consequat ea elit sint anim anim deserunt exercitation commodo nostrud. Esse excepteur in sunt excepteur reprehenderit sunt nulla duis sunt.

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

sunt est ea magna

Sit pariatur nulla ad incididunt ex ullamco aute tempor. Eiusmod exercitation dolore ad cillum aliqua. Aute consectetur sit adipisicing anim Lorem in tempor adipisicing excepteur ea reprehenderit aliquip. Eiusmod officia exercitation consectetur ullamco sit nulla elit do culpa qui culpa et et cupidatat. Mollit in tempor elit cupidatat adipisicing ipsum. Ex reprehenderit consequat laborum eu reprehenderit consectetur ipsum labore dolor. Elit in do Lorem excepteur dolore amet exercitation quis anim.

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.