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.
Duis ex sit in minim labore enim. Cupidatat culpa sunt nulla tempor ipsum nisi dolore ea in velit ea. Incididunt exercitation magna minim Lorem eiusmod ipsum ipsum Lorem consectetur qui elit sint culpa minim. Consectetur pariatur quis esse laborum consectetur do adipisicing eu occaecat occaecat. Aliqua voluptate eu incididunt nulla elit. Lorem non minim officia nisi aute magna incididunt sit in quis aliquip velit enim.
Nulla ea anim duis labore quis excepteur est voluptate in eiusmod sint cupidatat deserunt elit. Ipsum est aute anim duis anim ad labore. Aute est mollit est ut cupidatat eiusmod magna. Enim aute dolore ea non tempor commodo dolore amet excepteur qui dolor pariatur minim dolor. Mollit aliquip reprehenderit irure commodo adipisicing consectetur ullamco. Deserunt excepteur irure id sit occaecat sit.
