Linking pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Verification Competitions – Alastair Reid – Researcher at Intel https://alastairreid.github.io/verification-competitions/ 12 comments
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments
- GhiHorn: Path Analysis in Ghidra Using SMT Solvers https://insights.sei.cmu.edu/blog/ghihorn-path-analysis-in-ghidra-using-smt-solvers/ 5 comments
- GitHub - mc-imperial/jfs: Constraint solver based on coverage-guided fuzzing https://github.com/delcypher/jfs#jfs 2 comments
- GitHub - secfigo/Awesome-Fuzzing: A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis. https://github.com/secfigo/Awesome-Fuzzing 1 comment
- Cryptol as an SMT Frontend - Galois, Inc. https://galois.com/blog/2021/02/cryptol-as-an-smt-frontend/ 0 comments
- Synthesizing Loop-Free Programs with Rust and Z3 https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html 0 comments
- Cryptol as an SMT Frontend - Galois, Inc. http://corp.galois.com/cryptol/ 0 comments
- Under the hood of Formal Verification | Electronics etc… https://tomverbeure.github.io/rtl/2019/01/04/Under-the-Hood-of-Formal-Verification.html 0 comments
- What is symbolic execution for software programs? https://symflower.com/en/company/blog/2021/symbolic-execution/ 0 comments
- Machine Reasoning: The forgotten side of AI https://btmc.substack.com/p/machine-reasoning-the-forgotten-side 0 comments
Related searches:
Search whole site: site:smtlib.cs.uiowa.edu
Search title: SMT-LIB The Satisfiability Modulo Theories Library
See how to search.