![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Keywords: تفسیر چکیده; Formal methods; Static analysis; Computer-aided verification; Abstract interpretation; Numerical properties