fuqi-jia / SMTParserLinks
A C++ SMT/OMT Parser Library
☆20Updated 2 weeks ago
Alternatives and similar repositories for SMTParser
Users that are interested in SMTParser are comparing it to the libraries listed below
Sorting:
- Bit-bLAsting solving Non-linear integer constraints.☆22Updated last month
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆19Updated 11 months ago
- Language models for Coq based on data collected from the coq lsp.☆18Updated 3 weeks ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- ☆33Updated 9 months ago
- Apron Numerical Abstract Domain Library☆132Updated 4 months ago
- Program analysis and verification framework☆26Updated this week
- Lab sessions for the software analysis course at East China Normal University.☆125Updated 4 months ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- Loop invariant generation with LLMs☆26Updated 5 months ago
- Recent symbolic execution papers and tools.☆170Updated 3 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated 2 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆270Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 5 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆48Updated last year
- Property-based Testing for Mobile GUI Apps☆67Updated 2 months ago
- A fuzzing framework for SMT solvers☆191Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- KLEEF Symbolic Execution Engine☆19Updated last week
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 5 months ago
- A practical fuzzing tool for SMT solvers☆10Updated last year
- Teaching and Learning Software Analysis via SVF☆209Updated last week
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆246Updated this week
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆515Updated last week
- ☆48Updated last year
- ☆20Updated 8 months ago
- ☆19Updated 2 weeks ago
- CaDiCaL SAT Solver☆473Updated last week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 9 months ago