PROGRAM VERIFICATION - AN APPROACH TO RELIABLE HARDWARE AND SOFTWARE

被引：0
|
作者：
MOORE, JS [1 ]
LAMPORT, L [1 ]
机构：
[1] SRI INT,MENLO PK,CA 94025
来源：
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY | 1980年 / 35卷 / NOV期
关键词：
D O I：
暂无
中图分类号：
TL [原子能技术]; O571 [原子核物理学];
学科分类号：
0827 ; 082701 ;
摘要：
引用
收藏
页码：252 / 253
页数：2
相关论文
共 50 条
  • [1] Safe and reliable Hardware and Software
    Kuch, M. A. Oliver
    ATP EDITION, 2009, (07): : 22 - 22
  • [2] Integrating Software and Hardware Verification
    Jakobs, Marie-Christine
    Platzner, Marco
    Wehrheim, Heike
    Wiersema, Tobias
    INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 307 - 322
  • [3] A Hardware-Software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture
    Ito, Yasuaki
    Nakano, Koji
    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PROCEEDINGS, 2009, : 63 - 70
  • [4] The optimal approach for the processes of verification and validation of NPP software and hardware complexes
    Korolev, S.
    Tolokonsky, A.
    Rogov, V.
    INTERNATIONAL CONFERENCE FOR YOUNG SCIENTISTS, SPECIALISTS, AND POSTGRADUATES ON NUCLEAR REACTOR PHYSICS 2016 (ICNRP-2016), 2017, 781
  • [5] The RESCUE Approach - Towards Compositional Hardware/Software Co-Verification
    Herber, Paula
    2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 721 - 724
  • [6] An Automata-Theoretic Approach to Hardware/Software Co-verification
    Li, Juncao
    Xie, Fei
    Ball, Thomas
    Levin, Vladimir
    McGarvey, Con
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 248 - +
  • [7] Hardware Atomicity for Reliable Software Speculation
    Neelakantam, Naveen
    Rajwar, Ravi
    Srinivas, Suresh
    Srinivasan, Uma
    Zilles, Craig
    ISCA'07: 34TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, CONFERENCE PROCEEDINGS, 2007, : 174 - 185
  • [8] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [9] Verification of Hardware and Software with Fuzzing and Proofs
    Muduli, Sujit Kumar
    COMPANION PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2022, 2022, : 34 - 37
  • [10] Combining Software and Hardware Verification Techniques
    Robert P. Kurshan
    Vladimir Levin
    Marius Minea
    Doron Peled
    Hüsnü Yenigün
    Formal Methods in System Design, 2002, 21 : 251 - 280
12345