Packages tagged formal-methods

29 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (27), bsd3 (17), theorem-provers (11), language (9), smt (8), mit (7), symbolic-computation (7), concurrency (5), gpl (5), math (4), program (4), bit-vectors (2), ...

Name
DLs
Rating
Description
Tags
Maintainer
CSPM-CoreLanguage490.0Definition of a FDR-compatible CSP core-language. (bsd3, concurrency, formal-methods, language, library)MarcFontaine
CSPM-FiringRules410.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)MarcFontaine
CSPM-Frontend860.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)MarcFontaine
CSPM-Interpreter690.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)MarcFontaine
CSPM-ToProlog350.0some modules specific for the ProB tool (bsd3, formal-methods, library)MarcFontaine
CSPM-cspm700.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)MarcFontaine
SmtLib60.0Library for parsing SMTLIB2 (formal-methods, library, mit)roger62
acl290.0Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)TomHawkins
afv280.0Infinite state model checking of iterative C programs. (bsd3, formal-methods, program)TomHawkins
dove40.0The Dove verification language. (bsd3, formal-methods, language, library)TomHawkins
ghc-proofs360.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)JoachimBreitner
hermit250.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
improve620.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)TomHawkins
opentheory110.0The standard theory library (formal-methods, library, mit)JoeHurd
opentheory-bits70.0Natural number to bit-list conversions (formal-methods, library, mit)JoeHurd
opentheory-byte70.0Bytes (formal-methods, library, mit)JoeHurd
opentheory-primitive100.0Haskell primitives used by OpenTheory packages (formal-methods, library, mit)JoeHurd
opentheory-probability60.0Probability (formal-methods, library, mit)JoeHurd
sbv1662.5SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)LeventErkok
sbvPlugin210.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)LeventErkok
smtlib2112.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-debug30.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-pipe30.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-quickcheck40.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-timing40.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
theoremquest20.0A common library for TheoremQuest, a theorem proving game. (bsd3, formal-methods, game, library, theorem-provers)TomHawkins
theoremquest-client30.0A simple client for the TheoremQuest theorem proving game. (bsd3, formal-methods, game, program, theorem-provers)TomHawkins
yices-painless60.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)DonaldStewart
z3322.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)IagoAbal