SaaSHub helps you find the best software and product alternatives Learn more →
Top 3 C++ Verification Projects
-
ManySAT: http://www.cril.univ-artois.fr/~jabbour/manysat.htm
It shares short conflict clauses between parallel solvers and achieves superlinear speedup in some cases, e.g., 4 parallel solvers solve faster than one forth of the single solver soolution time.
Short conflict clauses are rare so there is little communication between solvers required.
CryptoMiniSAT: https://github.com/msoos/cryptominisat
Author's goal to have solver that is good in computing range from single CPU up to cluster. Judging from CryptoMiniSAT successes, he has mostly reached the goal.
-
Project mention: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs | news.ycombinator.com | 2023-05-15
You can use it to (mostly) validate small snippets are the same. See Alive2 for the application of Z3/formalization of programs as SMT for that [1]. As far as I'm aware there are some problems scaling up to arbitrarily sized programs due to a lack of formalization in higher level languages in addition to computational constraints. With a lot of time and effort it can be done though [2].
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
C++ Verification related posts
- The Silent (R)evolution of SAT
- If You've Got Enough Money, It's All 'Lawful'
- John Regehr: Alive2 LLVM optims verification
- Paper from 2021 claims P=NP with poorly specified algorithm for maximum clique using dynamical systems theory
- Low-level format file of mathlib
- Verifying GCC optimizations using an SMT solver
- A list of new budding programming languages and their interesting features?
-
A note from our sponsor - SaaSHub
www.saashub.com | 19 Mar 2024
Index
What are some of the best open-source Verification projects in C++? This list will help you:
Project | Stars | |
---|---|---|
1 | cryptominisat | 783 |
2 | alive2 | 660 |
3 | crab | 212 |