pyapron / pyapron Star 4 Code Issues Pull requests pyApron: A library for numerical abstract domains manipulation based on Apron python static-analysis abstract-interpretation abstract-domain convex-polyhedron numerical-domain apron Updated Sep 5, 2018 Python
seahorn / ldd Star 3 Code Issues Pull requests Library for Decision Diagrams over Linear Arithmetic static-analysis abstract-interpretation numerical-domain Updated Oct 4, 2017 C
seahorn / elina Star 1 Code Issues Pull requests Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis) static-analysis abstract-interpretation numerical-domain Updated Jul 18, 2018 C