Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Verification Smt Open Source Projects

Open source projects categorized as Verification Smt
Categories > Software Quality > Verification
Fstar ⭐ 2,522
A Proof-oriented Programming Language
most recent commit 3 months ago
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32most recent commit 3 months ago
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Pysmt ⭐ 523
pySMT: A library for SMT formulae manipulation and solving
total releases 2most recent commit 6 months ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Apalache ⭐ 387
APALACHE: symbolic model checker for TLA+ and Quint
most recent commit 3 months ago
Smack ⭐ 367
SMACK Software Verifier and Verification Toolchain
most recent commit 2 years ago
Stainless ⭐ 339
Verification framework and tool for higher-order Scala programs
most recent commit 4 months ago
Esverify ⭐ 119
ECMAScript verification with SMT solvers
dependent packages 2total releases 60most recent commit a year agonpm esverify} Downloads
Zkp ⭐ 61
A framework to execute and verify algorithms using Groth16 zkSNARKs.
most recent commit 4 years ago
Sally ⭐ 56
A model checker for infinite-state systems.
most recent commit 3 years ago
Theta ⭐ 44
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
most recent commit 5 months ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5most recent commit 3 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16most recent commit 3 months ago
Nv ⭐ 30
A Framework for Modeling and Analyzing Network Configurations
most recent commit a year ago
Rust Horn ⭐ 22
A CHC-based Automated Verification Tool for Rust
most recent commit 2 years ago
Korn ⭐ 8
most recent commit 5 months ago
Llvmvf ⭐ 8
LLVM Verification Framework
most recent commit 2 years ago
Qmaxuse ⭐ 7
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
most recent commit a year ago
Graph Refine ⭐ 7
most recent commit 2 years ago
Language Qux ⭐ 7
WIP: Utilities for working with the Qux language
most recent commit 6 years ago
Popl18 Lh Prover Artifact ⭐ 6
Artifact for "Towards Complete Verification via SMT"
most recent commit 7 years ago
Stainlessfit ⭐ 5
Stainless directly built on System FR, with standalone front-end
most recent commit 2 years ago
The 5 Latest Releases In Verification Smt Open Source Projects
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32latest release December 06, 2023most recent commit 3 months ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5latest release September 29, 2023most recent commit 3 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16latest release April 14, 2023most recent commit 3 months ago
Pysmt ⭐ 523
pySMT: A library for SMT formulae manipulation and solving
total releases 2latest release May 28, 2022most recent commit 6 months ago
Esverify ⭐ 119
ECMAScript verification with SMT solvers
dependent packages 2total releases 60latest release June 14, 2021most recent commit a year agonpm esverify} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.