A sbt plugin for stainless users to verify code in sbt command line.
-
Updated
Oct 20, 2017 - Scala
A sbt plugin for stainless users to verify code in sbt command line.
Verification and Generation of Smart Contracts using Stainless and Scala
Actor System library for Stainless which runs on Akka
MSc project on «Formal Verification of Rust with Stainless».
System FR: Formalized Foundations for Stainless
Stainless directly built on System FR, with standalone front-end
A formal definition of a language accompanied by proofs of its properties.
Add a description, image, and links to the stainless topic page so that developers can more easily learn about it.
To associate your repository with the stainless topic, visit your repo's landing page and select "manage topics."