Meta-Amphion: cost-effective development of high-assurance software generators

被引：0
作者：
Van Baalen, J
机构：
[1] NASA, Ames Res Ctr, Moffett Field, CA 94035 USA
[2] Univ Wyoming, Laramie, WY 82071 USA
来源：
IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS | 1998年 / 13卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：12 / 13
页数：2
相关论文
共 5 条
  • [1] Chang C. L., 1973, Symbolic Logic and Mechanical Theorem Proving, DOI DOI 10.1137/1016071
  • [2] LOWRY M, 1994, LECT NOTES COMPUTER, V869, P326
  • [3] LOWRY MR, 1997, J AUTOMATED SOFTWARE
  • [4] FUNDAMENTALS OF DEDUCTIVE PROGRAM SYNTHESIS
    MANNA, Z
    WALDINGER, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (08) : 674 - 704
  • [5] Wos L., 1984, AUTOMATED REASONING
1