epfl-lara / fmcad2021tutorial

FMCAD 2021 Tutorial on Stainless

Stainless Verification System Tutorial by Viktor Kuncak and Jad Hamza, FMCAD 2021

A Six Page Tutorial Write-Up, slides, and video.

Stainless GitHub page:

• Main repo: https://github.com/epfl-lara/stainless/
• Linux Release 0.9.1 for Scala 2.13, tested mostly with JDK 1.8.0
• Examples
• List library

Also of interest may be examples in the Bolts repository

Section II Scala source files

• MaxBug

Section III Scala source files

• Diffs

Section IV Scala source files

• Simple Queue
• Amortized Queue

Section VI Scala source files

• Add Digits

Section VII Scala source files

• Binary Search

Additional Labs from EPFL course

• FV 2021 Lab 1
• FV 2021 Lab 2
• FV 2021 Lab 3
• FV 2020 Lab 2