Stainless Verification System Tutorial by Viktor Kuncak and Jad Hamza, FMCAD 2021
February 28, 2022 ยท View on GitHub
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