PAGAI
From MaRDI portal
Cited in
(22)- Bias-variance tradeoffs in program analysis
- Program analysis with local policy iteration
- Computing invariants with transformers: experimental scalability and accuracy
- Block-wise abstract interpretation by combining abstract domains with SMT
- A flow-insensitive-complete program representation
- Apron
- IML - Integer Matrix Library
- Sawja
- Aspic
- PPL
- SYMBA
- IKOS
- ALICe
- JavaSMT
- BOXES
- Ultimate Taipan
- Verimag Polyhedra Library
- polco
- A survey of satisfiability modulo theory
- On the efficiency of convex polyhedra
- PPLite: zero-overhead encoding of NNC polyhedra
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
This page was built for software: PAGAI
