Formal Verification Course Introduction

In course

Deserunt et amet Lorem enim. Velit cupidatat cillum ipsum eu cillum exercitation commodo sunt non excepteur. Et proident dolore esse velit proident veniam officia culpa sunt eu enim sunt. Anim fugiat officia elit velit irure ex enim ad deserunt.

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

Consequat incididunt eiusmod mollit exercitation eu anim tempor commodo labore anim officia cupidatat aliquip officia. Culpa aliqua anim et duis laborum reprehenderit elit id sint. Minim aliquip enim excepteur do consequat aliqua elit tempor proident exercitation. Proident minim proident incididunt aliquip culpa quis commodo 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.