A Report On ICL HOL

1991., International Workshop on the HOL Theorem Proving System and Its Applications Pub Date : 1991-08-28 DOI:10.1109/HOL.1991.596294

R. Arthan

引用次数: 4

Abstract

This paper reports on research and development work which has been going on in ICL Secure Systems concerned with re-engineering the HOL system to industrial high-assurance standards

查看原文本刊更多论文

ICL HOL报告

本文报告了ICL安全系统的研究和开发工作，涉及对HOL系统进行重新设计，以达到工业高保证标准

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

求助全文

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

来源期刊

1991., International Workshop on the HOL Theorem Proving System and Its Applications

自引率

0.00%

发文量