The batteries-included testing and formal verification library for Chisel-based RTL designs.
Verification framework and tool for higher-order Scala programs
A sbt plugin for stainless users to verify code in sbt command line.
