The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
复制标题
DOI：
10.1016/j.scico.2007.08.001
复制
发表时间：
2008-06-01
影响因子：
1.3
通讯作者：
Zaffanella, Enea
中科院分区：
文献类型：
--
作者：
Bagnara, Roberto;Hill, Patricia M.;Zaffanella, Enea
自2001年作为学生项目成立以来，最初只是为了处理（顾名思义）凸多面体，帕尔马多面体库一直在不断改进和扩展，通过加入对（可能是非凸）数值抽象理论基础的科学研究，以完全遵守软件开发中的最佳实践。尽管Parma Polyhedra Library还没有完全成熟和功能完整，但它已经提供了类似的免费库无法比拟的功能，可靠性，可用性和性能的组合。在本文中，我们提出了当前版本的库的主要特点，强调那些区别于其他类似的库和那些重要的应用程序在硬件和软件系统的分析和验证领域。(c)2008 Elsevier B.V.保留所有权利。
Since its inception as a student project in 2001, initially just for the handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library has been continuously improved and extended by joining scrupulous research on the theoretical foundations of (possibly non-convex) numerical abstractions to a total adherence to the best available practices in software development. Even though it is still not fully mature and functionally complete, the Parma Polyhedra Library already offers a combination of functionality, reliability, usability and performance that is not matched by similar, freely available libraries. In this paper, we present the main features of the current version of the library, emphasizing those that distinguish it from other similar libraries and those that are important for applications in the field of analysis and verification of hardware and software systems. (c) 2008 Elsevier B.V. All rights reserved.