| タイトル | Peer Review of a Formal Verification/Design Proof Methodology |
| 本文（外部サイト） | http://hdl.handle.net/2060/19850020297 |
| 著者所属（英） | Research Triangle Inst.|NASA Langley Research Center |
| 発行日 | 1983-01-01 |
| 言語 | eng |
| 内容記述 | The role of formal verification techniques in system validation was examined. The value and the state of the art of performance proving for fault-tolerant compuers were assessed. The investigation, development, and evaluation of performance proving tools were reviewed. The technical issues related to proof methodologies are examined. The technical issues discussed are summarized. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 85N28609
NASA-CP-2377
L-15992
NAS 1.55:2377 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/156221 |
