10

8

6

4

2


9.4

8.1

9.0
0.0

8.1

5.7

7.0
0.0

6.1
0.0

4.6
0.0
afv

9 Formal Methods packages and projects

  • what4

    9.4 8.1 Haskell
    Symbolic formula representation and solver interaction library
  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
  • sbvPlugin

    8.1 5.7 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.
  • smtlib2

    7.0 0.0 Haskell
    SMTLib2 interface implementation for Haskell
  • SmtLib

    6.1 0.0 Haskell
    Parser for smt-lib Command responses
  • afv

    4.6 0.0 Haskell
    C model checking.
  • theoremquest

    4.1 0.0 Haskell
    A common library for TheoremQuest, a theorem proving game.
  • tptp

    3.5 0.0 Haskell
    Parser and pretty printer for the TPTP language
  • acl2

    2.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.

Add another 'Formal Methods' Package