Reasoning about digital systems

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1989-05-29 DOI:10.1109/ISMVL.1991.130696

A. S. Wojcik

引用次数: 0

Abstract

The uses of automated reasoning in the process of the design and analysis of digital systems are explored. A discussion of reasoning and automated reasoning is presented. Several examples of successful application of this technology are described, and current research is discussed. The author mentions AURA (automated reasoning assistant), ITP (interactive theorem prover) and flow nets.<>

查看原文本刊更多论文

关于数字系统的推理

在数字系统的设计和分析过程中使用自动推理进行探索。对推理和自动推理进行了讨论。介绍了该技术的几个成功应用实例，并对目前的研究现状进行了讨论。作者提到了AURA(自动推理助手)、ITP(交互式定理证明器)和flow nets。

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

求助全文

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

来源期刊

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量