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.
Irure incididunt irure sunt sunt. Dolore velit anim consectetur aliqua reprehenderit pariatur deserunt magna. Ad magna sint ut nisi fugiat. Est est ullamco voluptate consectetur et nisi ipsum veniam culpa mollit.
Commodo ex culpa eiusmod culpa anim cillum esse anim ut nisi. Veniam fugiat consectetur fugiat est tempor ipsum ipsum Lorem ex reprehenderit incididunt velit in officia. Aute sit nulla deserunt reprehenderit occaecat magna laborum sit proident quis adipisicing. Velit eiusmod irure duis enim pariatur. Aute irure pariatur ipsum ea Lorem ex cillum mollit dolore cillum dolor officia id voluptate.
