Obsolete
☆14Mar 7, 2023Updated 2 years ago
Alternatives and similar repositories for FormalMethods-2022
Users that are interested in FormalMethods-2022 are comparing it to the libraries listed below
Sorting:
- ☆20May 30, 2024Updated last year
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- ☆13Jun 30, 2023Updated 2 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- TriCera: a model checker for C programs☆26Updated this week
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆21Jan 4, 2026Updated 2 months ago
- ☆28Dec 22, 2025Updated 2 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Jan 1, 2026Updated 2 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- A simple and efficient wrapper around the OpenAI API☆29Aug 5, 2024Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Aug 23, 2023Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- llvm crash analysis☆44Jun 26, 2024Updated last year
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- cross-chain ETL tool for EVM chaindata☆32Jul 10, 2022Updated 3 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆87Jan 26, 2026Updated last month
- Execution API test generator.☆41Jan 22, 2026Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- ☆40Feb 11, 2026Updated 2 weeks ago
- ☆43Jun 28, 2025Updated 8 months ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- Demo for op rollup with decoupling SVM execution layer☆42Oct 30, 2024Updated last year
- ☆38Feb 11, 2022Updated 4 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆39Jun 28, 2024Updated last year
- Introduction to core development via CTF challenges☆41Sep 9, 2022Updated 3 years ago