Modular Development of Certified System Software

被引：0

作者：

Shao, Zhong ^{[1
]}

机构：

[1] Yale Univ, Dept Comp Sci, New Haven, CT 06520 USA

来源：

THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | 2009年

关键词：

certified code; machine-checkable proofs; modular verification; dependable software;

D O I：

10.1109/TASE.2009.49

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：5 / 5

页数：1