CSPM-CoreLanguage | 49 | 0.0 | Definition of a FDR-compatible CSP core-language. | (bsd3, concurrency, formal-methods, language, library) | MarcFontaine |

CSPM-FiringRules | 41 | 0.0 | Firing rules semantic of CSPM | (bsd3, concurrency, formal-methods, language, library) | MarcFontaine |

CSPM-Frontend | 86 | 0.0 | A CSP-M parser compatible with FDR-2.91 | (bsd3, concurrency, formal-methods, language, library) | MarcFontaine |

CSPM-Interpreter | 69 | 0.0 | An interpreter for CSPM | (bsd3, concurrency, formal-methods, language, library) | MarcFontaine |

CSPM-ToProlog | 35 | 0.0 | some modules specific for the ProB tool | (bsd3, formal-methods, library) | MarcFontaine |

CSPM-cspm | 70 | 0.0 | cspm command line tool for analyzing CSPM specifications. | (bsd3, concurrency, formal-methods, language, library, program) | MarcFontaine |

SmtLib | 6 | 0.0 | Library for parsing SMTLIB2 | (formal-methods, library, mit) | roger62 |

acl2 | 9 | 0.0 | Writing and calling ACL2 from Haskell. | (bsd3, formal-methods, language, library) | TomHawkins |

afv | 28 | 0.0 | Infinite state model checking of iterative C programs. | (bsd3, formal-methods, program) | TomHawkins |

dove | 4 | 0.0 | The Dove verification language. | (bsd3, formal-methods, language, library) | TomHawkins |

ghc-proofs | 36 | 0.0 | GHC plugin to prove program equations by simplification | (compiler-plugin, formal-methods, library, mit) | JoachimBreitner |

hermit | 25 | 0.0 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |

improve | 62 | 0.0 | An imperative, verifiable programming language for high assurance applications. | (bsd3, embedded, formal-methods, language, library) | TomHawkins |

opentheory | 11 | 0.0 | The standard theory library | (formal-methods, library, mit) | JoeHurd |

opentheory-bits | 7 | 0.0 | Natural number to bit-list conversions | (formal-methods, library, mit) | JoeHurd |

opentheory-byte | 7 | 0.0 | Bytes | (formal-methods, library, mit) | JoeHurd |

opentheory-primitive | 10 | 0.0 | Haskell primitives used by OpenTheory packages | (formal-methods, library, mit) | JoeHurd |

opentheory-probability | 6 | 0.0 | Probability | (formal-methods, library, mit) | JoeHurd |

sbv | 166 | 2.5 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | LeventErkok |

sbvPlugin | 21 | 0.0 | Formally prove properties of Haskell programs using SBV/SMT | (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | LeventErkok |

smtlib2 | 11 | 2.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | HenningGuenther |

smtlib2-debug | 3 | 0.0 | Dump the communication with an SMT solver for debugging purposes. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | HenningGuenther |

smtlib2-pipe | 3 | 0.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | HenningGuenther |

smtlib2-quickcheck | 4 | 0.0 | Helper functions to create SMTLib expressions in QuickCheck | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | HenningGuenther |

smtlib2-timing | 4 | 0.0 | Get timing informations for SMT queries | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | HenningGuenther |

theoremquest | 2 | 0.0 | A common library for TheoremQuest, a theorem proving game. | (bsd3, formal-methods, game, library, theorem-provers) | TomHawkins |

theoremquest-client | 3 | 0.0 | A simple client for the TheoremQuest theorem proving game. | (bsd3, formal-methods, game, program, theorem-provers) | TomHawkins |

yices-painless | 6 | 0.0 | An embedded language for programming the Yices SMT solver | (bsd3, formal-methods, library, math, theorem-provers) | DonaldStewart |

z3 | 32 | 2.0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | IagoAbal |