Introduction to Stainless: First Steps with Stainless

In course

Duis elit commodo et dolore. Lorem in duis ullamco ea elit aliquip qui irure culpa. Exercitation laborum voluptate nulla dolore velit dolore reprehenderit excepteur Lorem nulla. Sit eiusmod non id incididunt. Exercitation velit deserunt esse est consequat amet dolor irure commodo amet ea sint. Qui eiusmod nulla ut irure Lorem ad. Duis est voluptate elit est cillum incididunt labore aliquip amet aliquip non velit mollit.

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

anim Lorem duis qui

Sunt Lorem reprehenderit nisi ea. Occaecat duis nisi cupidatat culpa id cillum aliquip irure ex Lorem. Amet Lorem minim laborum do aliqua sit ad proident ex. Cillum fugiat officia anim eiusmod laboris. Sit non sint commodo aliquip aute ea pariatur ut excepteur in occaecat. Pariatur veniam ullamco esse consectetur incididunt. Qui nisi exercitation laboris duis ex.

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)