GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → LeventErkok → Sbv

LeventErkok / Sbv

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

Programming Languages

haskell
3896 projects

Labels

verificationsmt

Projects that are alternatives of or similar to Sbv

Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+92.8%)
Mutual labels:  verification, smt
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+1636.8%)
Mutual labels:  verification, smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (+59.2%)
Mutual labels:  verification, smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+144%)
Mutual labels:  verification, smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (+171.2%)
Mutual labels:  verification, smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+181.6%)
Mutual labels:  verification, smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+172.8%)
Mutual labels:  verification, smt
Liquidhaskell
Liquid Types For Haskell
Stars: ✭ 863 (+590.4%)
Mutual labels:  verification, smt
Sea Dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-28%)
Mutual labels:  verification
Mbed Hdk
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects
Stars: ✭ 106 (-15.2%)
Mutual labels:  smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (-29.6%)
Mutual labels:  smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✭ 93 (-25.6%)
Mutual labels:  smt
Eustathios Spider V2
Update to Eustathios with a little bit of HercuLien Design Changes
Stars: ✭ 107 (-14.4%)
Mutual labels:  smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✭ 91 (-27.2%)
Mutual labels:  smt
Esverify
ECMAScript verification with SMT solvers
Stars: ✭ 109 (-12.8%)
Mutual labels:  verification
Tulip Control
Temporal Logic Planning toolbox
Stars: ✭ 81 (-35.2%)
Mutual labels:  verification
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (-36.8%)
Mutual labels:  smt
Jlcparts
Better parametric search for components available for JLC PCB assembly
Stars: ✭ 114 (-8.8%)
Mutual labels:  smt
React Native Code Verification
❤️ Simple UI for pincode verification
Stars: ✭ 109 (-12.8%)
Mutual labels:  verification
Awesome Open Hardware Verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
Stars: ✭ 103 (-17.6%)
Mutual labels:  verification
View All Similar Projects ➔

SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

Please see: http://leventerkok.github.io/sbv/

Build Status

  • Linux:
    • GHC 8.10.2 Build1
    • GHC 8.8.4 Build1
  • Mac OSX:
    • GHC 8.10.2 Build1
  • Windows:
    • GHC 8.10.1 Build5
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].