Bringing Hardware and Software Closer Together with Termination Analysis

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) Pub Date : 2007-05-30 DOI:10.1109/MEMCOD.2007.371223

B. Cook

引用次数: 0

Abstract

When computers hang the root cause is usually due to termination bugs in the software that interfaces with hardware. In this talk the author discuss efforts to build program termination proof tools designed to find these types of bugs in systems software.

查看原文本刊更多论文

通过终止分析使硬件和软件更紧密地结合在一起

当计算机挂起时，其根本原因通常是由于与硬件接口的软件中的终端错误。在这次演讲中，作者讨论了构建程序终止证明工具的努力，这些工具旨在发现系统软件中的这些类型的错误。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)

自引率

0.00%

发文量