Haskell Formal Methods packages

• « All Tags

Selected Tags

• Formal Methods

More Tags

• Math
  11
• Theorem Provers
  8
• SMT
  6
• Symbolic Computation
  4
• Language
  4
• Optimization
  2
• Bit Vectors
  2

Formal Methods packages

Showing projects tagged as Formal Methods

• sbv

  9.6 0.0 Haskell

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

• what4

  9.4 0.0 Haskell

  Symbolic formula representation and solver interaction library
  

• toysolver

  9.3 0.0 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 0.0 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 0.0 Haskell

  Formally prove properties of Haskell programs using SBV/SMT.

• smtlib2

  6.6 0.0 Haskell

  SMTLib2 interface implementation for Haskell

• SmtLib

  5.9 0.0 Haskell

  Parser for smt-lib Command responses
  

• afv

  5.4 0.0 Haskell

  C model checking.

• theoremquest

  5.1 0.0 Haskell

  A common library for TheoremQuest, a theorem proving game.

• tptp

  4.8 0.0 Haskell

  Parser and pretty printer for the TPTP language

• acl2

  4.1 0.0 Haskell

  Writing and calling ACL2 from Haskell.