多面体计算在硬件与软件系统分析及验证中的应用

凸多面体是复杂且有时为任务关键型系统的静态分析和计算机辅助验证中所用多种抽象的基础。对于此类应用，确定适当的复杂性与精度折衷是一个尤为突出的问题，因此必须提供广泛的备选方案。我们综述了多面体计算在该领域的应用范围；概述了可采用的不同多面体类别；概述了自动分析器和验证器所需的主要多面体运算；并探讨了多面体与其他数值抽象的一些可能组合，这些组合有望提高分析的精度。文中强调了进一步的理论研究可带来重要贡献的领域。