10

8

6

4

2


9.0
0.0

7.7

6.4

6.6
0.0

5.3
0.0

4.1
0.0
afv

2.9
0.0

7 Formal Methods packages and projects

  • hermit

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

    7.7 6.4 Haskell
    Formally prove properties of Haskell programs using SBV/SMT
  • smtlib2

    6.6 0.0 Haskell
    A type-safe interface to communicate with an SMT solver.
  • SmtLib

    5.3 0.0 Haskell
    Library for parsing SMTLIB2
  • afv

    4.1 0.0 Haskell
    Infinite state model checking of iterative C programs.
  • acl2

    2.9 0.0 Haskell
    Writing and calling ACL2 from Haskell.
  • theoremquest

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

Add another 'Formal Methods' Package