Theorem proving for verification

被引：0
|
作者：
Harrison, John [1 ]
机构：
[1] Intel Corp, Hillsboro, OR 97124 USA
来源：
COMPUTER AIDED VERIFICATION | 2008年 / 5123卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：11 / 18
页数：8
相关论文
共 50 条
  • [1] Theorem proving languages for verification
    Jouannaud, JP
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 11 - 14
  • [2] Accurate theorem proving for program verification
    Cook, Byron
    Kroening, Daniel
    Sharygina, Natasha
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, 2006, 4313 : 96 - 114
  • [3] Theorem Proving for Verification: The Early Days
    Moore, J. Strother
    [J]. 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 283 - 283
  • [4] Interactive Theorem Proving and Verification FOREWORD
    Natarajan, Raja
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2009, 34 (01): : 1 - 2
  • [5] Verification condition generation via theorem proving
    Matthews, John
    Moore, J. Strother
    Ray, Sandip
    Vroon, Daron
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 362 - 376
  • [6] Theorem proving system for logic design verification
    Yamada, Naoyuki
    Kobayashi, Yasuhiro
    Kiguchi, Takashi
    [J]. Journal of information processing, 1988, 11 (02) : 92 - 104
  • [7] THEOREM-PROVING VERIFICATION FOR ASYNCHRONOUS CIRCUITS
    Nishimura, Shunji
    Amagasaki, Motoki
    Kuga, Morihiro
    Iida, Masahiro
    Sueyoshi, Toshinori
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2016, 12 (03): : 761 - 778
  • [8] Theorem proving and proof verification in the system SAD
    Lyaletski, A
    Paskevich, A
    Verchinine, K
    [J]. MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2004, 3119 : 236 - 250
  • [9] Cogent: Accurate theorem proving for program verification
    Cook, B
    Kroening, D
    Sharygina, N
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 296 - 300
  • [10] Theorem proving for product line model verification
    Mannion, M
    Camara, J
    [J]. SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 211 - 224
12345