Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Math packages

Showing projects tagged as Formal Methods and Math

  • sbv

    9.6 9.8 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  • what4

    9.5 8.0 Haskell
    Symbolic formula representation and solver interaction library

  • hz3

    9.1 1.3 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).

  • hermit

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

  • sbvPlugin

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

  • smtlib2

    6.9 0.0 Haskell
    SMTLib2 interface implementation for Haskell

  • SmtLib

    5.9 0.0 Haskell
    Parser for smt-lib Command responses

  • afv

    5.1 0.0 Haskell
    C model checking.

  • theoremquest

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

  • tptp

    4.5 0.0 Haskell
    Parser and pretty printer for the TPTP language

  • acl2

    3.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.