5 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    epfl-lara/stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    359 36
  2. project logo

    ucb-bar/chiseltest   6.0.0

    The batteries-included testing and formal verification library for Chisel-based RTL designs.

    Scala versions: 2.13
    223 39
  3. project logo

    uuverifiers/eldarica   2.1

    The Eldarica model checker

    Scala versions: 2.13 2.12 2.11
    80 5
  4. project logo

    verifx-prover/verifx   1.0.2

    The VeriFx automated verification language

    Scala versions: 2.13
    20 1
  5. project logo

    overlogged/sbt-stainless   0.2.0

    A sbt plugin for stainless users to verify code in sbt command line.

    2 0