ELINA: ETH LIbrary for Numerical Analysis
☆136Apr 7, 2023Updated 2 years ago
Alternatives and similar repositories for ELINA
Users that are interested in ELINA are comparing it to the libraries listed below
Sorting:
- Apron Numerical Abstract Domain Library☆144Feb 13, 2026Updated 2 weeks ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Jan 27, 2023Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Oct 23, 2024Updated last year
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago
- ☆10Aug 18, 2025Updated 6 months ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- The Ciao Preprocessor☆13Jun 17, 2025Updated 8 months ago
- The Sparrow Static Analyzer☆127Sep 19, 2021Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44May 25, 2021Updated 4 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- ☆101Jul 8, 2020Updated 5 years ago
- ☆17May 31, 2024Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated last year
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 7 months ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 8 months ago
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Oct 2, 2020Updated 5 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Jul 25, 2024Updated last year
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- SeaHorn Verification Framework☆471May 27, 2025Updated 9 months ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago