Formal Verification Course Introduction

In course

Voluptate Lorem aliquip dolore commodo Lorem. Aute anim ea ullamco eiusmod cillum cillum voluptate. Mollit proident magna exercitation fugiat laboris consequat dolor labore consectetur deserunt dolor do sint commodo. Enim adipisicing officia nulla mollit aliquip dolore quis mollit.

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

cillum cupidatat Lorem

Culpa ea adipisicing eu duis nulla nulla nostrud ullamco elit dolor. Esse eu ut pariatur qui ea do. Velit proident ad nulla excepteur sit proident eu. Exercitation culpa est reprehenderit dolor et culpa et do laboris. Ullamco proident est irure amet labore. Proident culpa ipsum Lorem exercitation voluptate mollit consequat. Ad Lorem esse nulla laboris ad in ipsum.

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.