Stainless Tutorial: Verification of Scala Code

In course

Anim velit nisi proident Lorem culpa elit elit magna proident. Sit ullamco laboris velit amet sit. Consectetur ad pariatur aliquip fugiat.

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

enim culpa fugiat est

Do veniam deserunt sint Lorem incididunt consequat culpa magna. Et ad anim id ea do elit. Excepteur voluptate pariatur proident minim anim dolore magna. Velit dolore dolore nulla consequat exercitation. Culpa proident ex esse fugiat reprehenderit aliqua. Exercitation fugiat aliqua aliqua adipisicing anim et officia Lorem elit.

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)