Static Analyzer and Verifier
☆54Oct 12, 2024Updated 2 years ago
Alternatives and similar repositories for 2ls
Users that are interested in 2ls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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…☆22Mar 21, 2021Updated 5 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆269Updated this week
- ☆20Jul 15, 2026Updated 3 months ago
- ☆23Apr 17, 2023Updated 3 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆81Oct 1, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆25Mar 24, 2023Updated 3 years ago
- TriCera: a model checker for C programs☆28Oct 22, 2026Updated last week
- ☆15Apr 26, 2021Updated 5 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 5 years ago
- The Ultimate program analysis framework.☆249Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 10 months ago
- The Termination Problem Database☆30Aug 20, 2025Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆57Jul 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Map2Check: Finding Software Vulnerabilities☆31Updated this week
- ☆26Jun 16, 2026Updated 4 months ago
- Demonstration project for Java analysis☆14Aug 1, 2024Updated 2 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆339Oct 22, 2026Updated last week
- C Bounded Model Checker☆1,154Updated this week
- Research prototype tool for modular formal verification of C, Rust and Java programs☆527Oct 9, 2026Updated 2 weeks ago
- ☆10Aug 18, 2025Updated last year
- ☆12Jul 19, 2025Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆192Oct 28, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆533Updated this week
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 7 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆117Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated last year
- Generates loop invariants for program verification☆65Jan 22, 2021Updated 5 years ago
- SMACK Software Verifier and Verification Toolchain☆448Aug 28, 2026Updated 2 months ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- A library for building abstract interpretation-based analyses.☆258Sep 23, 2026Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆76Oct 22, 2026Updated last week