FAULT-TOLERANT PROCESSOR EVALUATION EXPERIENCE - FORMAL VERIFICATION STUDIES

被引：0

作者：

KLJAICH, J

SMITH, BT

WOJCIK, AS

机构：

[1] ARGONNE NATL LAB,ARGONNE,IL 60439

[2] IIT,CHICAGO,IL 60616

来源：

TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY | 1985年 / 49卷 / JUN期

关键词：

D O I：

暂无

中图分类号：

TL [原子能技术]; O571 [原子核物理学];

学科分类号：

0827 ; 082701 ;

摘要：

引用

页码：379 / 379

页数：1

共 50 条

[1] Formal Verification of Fault-Tolerant Hardware Designs
Entrena, Luis
Sanchez-Clemente, Antonio J.
Garcia-Astudillo, Luis A.
Portela-Garcia, Marta
Garcia-Valderas, Mario
Lindoso, Almudena
Sarmiento, Roberto
[J]. IEEE ACCESS, 2023, 11 : 116127 - 116140
[2] FORMAL VERIFICATION FOR FAULT-TOLERANT ARCHITECTURES - PROLEGOMENA TO THE DESIGN OF PVS
OWRE, S
RUSHBY, J
SHANKAR, N
VONHENKE, F
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 107 - 125
[3] Formal verification of fault-tolerant software design: the CSP approach
Yeung, WL
Schneider, SA
[J]. MICROPROCESSORS AND MICROSYSTEMS, 2005, 29 (05) : 197 - 209
[4] Dependability evaluation of a fault-tolerant processor by GSPN modeling
Constantinescu, C
[J]. IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (03) : 468 - 474
[5] A FAULT-TOLERANT FFT PROCESSOR
CHOI, YH
MALEK, M
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (05) : 617 - 621
[6] FAULT-TOLERANT COMMUNICATIONS PROCESSOR
STIFFLER, JJ
[J]. JOURNAL OF SPACECRAFT AND ROCKETS, 1981, 18 (04) : 380 - 384
[7] FAULT-TOLERANT PARALLEL PROCESSOR
HARPER, RE
LALA, JH
[J]. JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 1991, 14 (03) : 554 - 563
[8] Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Shishkin, Evgeniy
[J]. PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG (ERLANG '17), 2017, : 1 - 12
[9] Using Formal Verification to Reduce Test Space of Fault-tolerant Programs
Xavier, Kleber S.
Hanazumi, Simone
de Melo, Ana C. V.
[J]. SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 181 - 190
[10] Systematic formal verification for fault-tolerant time-triggered algorithms
Rushby, J
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (05) : 651 - 660

← 1 2 3 4 5 →