SRI-CSL / yices2_python_bindings
Python bindings for yices2
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for yices2_python_bindings
- A model checker for infinite-state systems.☆69Updated 3 years ago
- LibPoly is a C library for manipulating polynomials☆46Updated last month
- ☆16Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- ☆26Updated 2 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- Static Analyzer and Verifier☆46Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 7 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- A model-based API Fuzzer for SMT Solvers.☆11Updated last week
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- The Yices SMT Solver☆374Updated this week
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- The People's Verification System☆139Updated this week
- solver for the reachability modulo theories problem☆58Updated last year
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- ☆26Updated 3 weeks ago
- ☆20Updated last year
- AE-solver and Skolemizer☆17Updated last year
- A fuzzing framework for SMT solvers☆185Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- A library for building abstract interpretation-based analyses☆233Updated last month
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆212Updated this week
- Approximate Model Counter☆70Updated 4 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆55Updated 9 years ago