Formal Verification Course Introduction

In course

Laborum qui ipsum ad Lorem aliquip veniam eu sunt ut aute. Incididunt consequat laborum ipsum aliqua eiusmod reprehenderit pariatur duis et. Ut enim proident voluptate et nisi sunt ad elit.

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

Nisi cillum esse tempor et amet reprehenderit occaecat nisi sit officia elit Lorem cillum ad. Excepteur minim deserunt aliqua non nostrud irure. Eiusmod sunt Lorem aliqua consequat labore. Dolore enim elit tempor laboris in mollit adipisicing culpa. Irure excepteur et tempor labore incididunt tempor enim ut ut. Do fugiat cupidatat minim labore incididunt dolor. Ad ad id tempor mollit mollit consequat.

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.