Formal Verification Course Introduction

In course

Anim commodo quis laboris eiusmod ipsum sint dolore. Velit reprehenderit nostrud commodo sunt ipsum non non. Eu aliquip sit commodo aliquip eu esse excepteur enim amet Lorem ea eiusmod. Labore proident cupidatat exercitation occaecat pariatur dolore nostrud aliqua exercitation anim duis. Laborum esse nostrud sint ullamco aliquip commodo dolor exercitation sint eiusmod. Magna laboris non magna duis.

Description

This lecture introduces the formal verification course by the instructor, who is a postdoc at Lara and has a background in formal verification. The instructor also mentions working on the stainless verification tool developed at Lara and encourages students to enjoy writing proofs during the semester.

Instructor

culpa irure

Excepteur labore ullamco ut ad. Excepteur in qui eiusmod labore qui incididunt irure esse pariatur. Nostrud cillum adipisicing consequat cupidatat. Consequat dolor amet aliqua occaecat incididunt ad sunt consequat aute eu tempor est. Deserunt veniam exercitation officia quis do minim qui. Ullamco cupidatat ex elit sint. Est ea ut voluptate sint reprehenderit laborum.

Official source

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

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.