10

8

6

4

2


9.0
0.0

7.6

5.8

6.6
0.0

5.4
0.0

4.2
0.0
afv

3.0
0.0

7 Formal Methods packages and projects

  • hermit

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

    7.6 5.8 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.4 0.0 Haskell
    Library for parsing SMTLIB2
  • afv

    4.2 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