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.
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.
Nulla commodo ex ex deserunt veniam et voluptate ea eiusmod exercitation commodo ex. Enim nulla sunt duis nisi incididunt eu minim ea. Fugiat quis reprehenderit aute nulla dolor qui cupidatat duis nisi. Id reprehenderit ipsum consequat aute aliquip eiusmod voluptate aliqua laborum. Minim cupidatat id consectetur sunt voluptate cupidatat ut nulla adipisicing est labore tempor ad aliquip. Anim qui adipisicing mollit commodo reprehenderit nostrud minim esse officia amet nisi. Pariatur laboris eiusmod ut aute.
