10

8

6

4

2


9.1
0.0

7.7

6.3

6.8
0.0

5.4
0.0

4.3
0.0
afv

3.0
0.0

7 Formal Methods packages and projects

  • hermit

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

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

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

    5.4 0.0 Haskell
    Library for parsing SMTLIB2
  • afv

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

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

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

Add another 'Formal Methods' Package