Introduction to Stainless: First Steps with Stainless
Graph Chatbot
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.
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.
Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.
