10

8

6

4

2


9.3

8.4

9.1
0.0

8.2

6.0

6.8
0.0

5.7
0.0

5.1
0.0
afv

9 Formal Methods packages and projects

  • what4

    9.3 8.4 Haskell
    Solver-agnostic symbolic values support for issuing queries
  • hermit

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

    8.2 6.0 Haskell
    Formally prove properties of Haskell programs using SBV/SMT
  • SaaSHub will help you find the best software and product alternatives
    Promoted www.saashub.com
  • smtlib2

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

    5.7 0.0 Haskell
    Library for parsing SMTLIB2
  • afv

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

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

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

    1.8 7.1 Assembly
    A parser and a pretty printer for the TPTP language

Popular Comparisons


99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

Add another 'Formal Methods' Package