10

8

6

4

2


9.4

6.9
what4

4.4
0.0
tptp

8.2

6.3
sbvPlugin

4.8
0.0
theoremquest

5.1
0.0
afv

3.6
0.0
acl2

9 Formal Methods packages and projects

  • what4

    9.4 6.9 Haskell
    Symbolic formula representation and solver interaction library

  • tptp

    4.4 0.0 Haskell
    Parser and pretty printer for the TPTP language

    • The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
    Promo

  • sbvPlugin

    8.2 6.3 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.

  • theoremquest

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

  • afv

    5.1 0.0 Haskell
    C model checking.

  • acl2

    3.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.

  • hermit

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

  • smtlib2

    6.7 0.0 Haskell
    SMTLib2 interface implementation for Haskell

  • SmtLib

    5.9 0.0 Haskell
    Parser for smt-lib Command responses
InfluxDB - Power Real-Time Data Analytics at Scale
sponsored www.influxdata.com

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
sponsored www.saashub.com

Add another 'Formal Methods' Package