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