01-21, Stainless Tutorial 1/4

CS-550 Formal Verification

9 September 2020, Jad Hamza, 348 views

https://github.com/epfl-lara/stainless/releases

Important: you must have Java 8 installed (other versions of Java might make Stainless crash)

Viewable by everyone. All rights reserved.