epfl-lara / stainless 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

Verification framework and tool for higher-order Scala programs

smt
cvc5
model-checking
formal-methods
scala
z3
inox
cvc4
verification
proof-assistant

Scala versions: 2.11

Latest version

[![stainless-dotty Scala version support](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty/latest.svg)](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty)

JVM badge

[![stainless-dotty Scala version support](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/epfl-lara/stainless/stainless-dotty)