Formal Methods packages

Showing projects tagged as Formal Methods

  • sbv

    9.5 8.8 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • what4

    9.4 8.5 Haskell
    Symbolic formula representation and solver interaction library
  • toysolver

    9.3 4.3 Haskell
    My sandbox for experimenting with solver algorithms.
  • ghc-proofs

    9.3 0.0 Haskell
    Let GHC prove program equations for you
  • hz3

    9.1 3.7 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • hermit

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

    8.5 0.0 Haskell
    An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
  • sbvPlugin

    8.1 5.8 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.7 0.0 Haskell
    Writing and calling ACL2 from Haskell.