10

8

6

4

2


9.5

8.2
what4

9.0
0.0
hermit

8.2

5.6
sbvPlugin

7.0
0.0
smtlib2

6.0
0.0
SmtLib

4.9
0.0
afv

9 Formal Methods packages and projects

  • what4

    9.5 8.2 Haskell
    Symbolic formula representation and solver interaction library

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel

    • SaaSHub helps you find the best software and product alternatives
    Promo www.saashub.com
    SaaSHub Logo

  • sbvPlugin

    8.2 5.6 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.

  • smtlib2

    7.0 0.0 Haskell
    SMTLib2 interface implementation for Haskell

  • SmtLib

    6.0 0.0 Haskell
    Parser for smt-lib Command responses

  • afv

    4.9 0.0 Haskell
    C model checking.

  • theoremquest

    4.5 0.0 Haskell
    A common library for TheoremQuest, a theorem proving game.

  • tptp

    4.2 0.0 Haskell
    Parser and pretty printer for the TPTP language

  • acl2

    3.2 0.0 Haskell
    Writing and calling ACL2 from Haskell.

Popular Comparisons

Add another 'Formal Methods' Package