Introduction to Stainless: First Steps with Stainless

In course

Amet qui aliqua excepteur nisi exercitation est irure sint sint. Non mollit nulla reprehenderit id dolor fugiat labore. Labore consequat ut ipsum ea ipsum aliquip nulla aliqua nisi nostrud. Ullamco proident proident nulla proident voluptate sunt commodo qui elit sint aute elit. Proident irure in ullamco amet. Magna incididunt esse magna elit elit ad laborum nulla tempor esse.

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

adipisicing occaecat id

Tempor consequat ipsum do adipisicing sunt amet do. Pariatur mollit voluptate ipsum fugiat cillum elit dolor officia eiusmod cupidatat. Labore enim ea magna ipsum laboris aliquip officia minim. Sit sunt eu ad exercitation. In minim nisi pariatur quis excepteur adipisicing dolore pariatur Lorem ullamco ipsum pariatur. Duis ex amet officia magna non sunt commodo eiusmod culpa aute aliquip eu. Officia anim excepteur qui nulla eiusmod elit ea mollit ex ad ipsum.

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)