5 results
-
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Scala versions: 2.11 -
uuverifiers/eldarica
The Eldarica model checker
Scala versions: 2.13 2.12 2.11 -
overlogged/sbt-stainless
A sbt plugin for stainless users to verify code in sbt command line.
Scala versions: 2.12sbt plugins: 1.0