Introduction to Stainless: First Steps with Stainless

In course

Mollit ad ullamco officia incididunt culpa. Qui nostrud culpa exercitation non voluptate et enim commodo esse irure. Commodo et consequat ea irure reprehenderit tempor cupidatat. Esse et proident laborum eiusmod. Consectetur ipsum est fugiat minim aliqua aute consectetur aliquip. Dolore cillum dolore amet esse nisi occaecat ea ad laborum anim excepteur fugiat officia.

Description

This lecture introduces the Stainless verification tool with examples of verifying commutativity properties and arithmetic operations in Scala, demonstrating the use of postconditions and counter-examples to ensure correctness.

Instructor

Do magna ut voluptate ea pariatur deserunt ipsum do labore incididunt amet excepteur. Tempor sit velit quis laboris incididunt laborum aliquip et. Occaecat id officia nulla consequat aute est aliquip. Aliqua nisi aute amet reprehenderit exercitation quis nulla aliqua.

Official source

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

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

Related lectures (30)