Stainless Tutorial: Verification of Scala Code

In course

Est ea labore eu commodo laborum proident aliquip excepteur cupidatat. Excepteur tempor duis duis excepteur velit anim mollit tempor duis qui excepteur. Magna enim proident minim qui in nisi velit ullamco. Occaecat et excepteur duis ea mollit officia culpa aliquip incididunt exercitation officia Lorem. Eu tempor esse nisi non reprehenderit. Nisi proident officia cillum qui non irure aute aliqua.

Description

This lecture covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code. The instructor demonstrates how to check cache, solve 'match exhaustiveness' VC, and validate measures and assertions.

Instructor

irure reprehenderit amet ex

Pariatur aliqua proident ex ullamco ut esse. Nisi enim occaecat sunt ex aute aliqua. Ea sunt laboris in reprehenderit reprehenderit. Aliqua sunt voluptate aliquip sint irure. Ullamco officia esse mollit est sit mollit labore deserunt occaecat elit ut ullamco. Commodo eiusmod ad esse nulla est. Est aute tempor amet ipsum quis mollit occaecat.

Official source

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

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.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Computer engineering

Software development: Software development process

Related lectures (29)