ElNiak / awesome-formal-verificationLinks
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
☆29Updated 4 months ago
Alternatives and similar repositories for awesome-formal-verification
Users that are interested in awesome-formal-verification are comparing it to the libraries listed below
Sorting:
- Schedule for ArtOfSAT☆10Updated last year
- Tutorials and courses for Z3☆83Updated 3 weeks ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- Binary analysis in HOL☆40Updated 2 months ago
- ☆10Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆12Updated 3 weeks ago
- Genetic program repair using GHC☆30Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- A Low Barrier Proof Assistant☆110Updated this week
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated last week
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Lean models of Rust libraries☆13Updated 9 months ago
- Interactive visualizer for e-graphs☆21Updated 5 months ago
- Documentation☆43Updated 3 weeks ago
- Most influential papers in programming languages☆57Updated 4 months ago
- Verifying OpenTitan☆26Updated last year
- Efficient Sampling of SAT Solutions for Testing☆35Updated 5 years ago
- ☆17Updated last year
- ☆27Updated last month
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated this week
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 2 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago