stainless
Here are 11 public repositories matching this topic...
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
Actor System library for Stainless which runs on Akka
-
Updated
Feb 25, 2021 - Scala
System FR: Formalized Foundations for Stainless
-
Updated
Oct 25, 2021 - Coq
Verification and Generation of Smart Contracts using Stainless and Scala
-
Updated
Oct 3, 2020 - HTML
Stainless directly built on System FR, with standalone front-end
-
Updated
Oct 26, 2021 - Scala
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."