多面体计算在软硬件系统分析与验证中的应用
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
摘要：
凸多面体是用于复杂的、有时是关键任务系统的静态分析和计算机辅助验证的若干抽象的基础。对于这样的应用，识别适当的复杂度-精度权衡是一个特别尖锐的问题，因此必须提供广泛的替代解决方案。我们调查的多面体计算在这一领域的应用范围，给出了不同类别的多面体，可能会被采用的概述，概述了自动分析器和验证器所需的主要多面体操作，并期待在一些可能的组合多面体与其他数值抽象，有可能提高精度的分析。进一步的理论研究可以导致重要贡献的领域突出显示。
英文摘要：
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applications, the identification of an appropriate complexity-precision trade-off is a particularly acute problem, so that the availability of a wide spectrum of alternative solutions is mandatory. We survey the range of applications of polyhedral computations in this area; give an overview of the different classes of polyhedra that may be adopted; outline the main polyhedral operations required by automatic analyzers and verifiers; and look at some possible combinations of polyhedra with other numerical abstractions that have the potential to improve the precision of the analysis. Areas where further theoretical investigations can result in important contributions are highlighted.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
