| タイトル | Abstractions for Fault-Tolerant Distributed System Verification |
| 本文（外部サイト） | http://hdl.handle.net/2060/20040139819 |
| 著者（英） | Miner, Paul S.; Geser, Alfons; Pike, Lee S.; Maddalon, Jeffrey M. |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2004-01-01 |
| 言語 | eng |
| 内容記述 | Four kinds of abstraction for the design and analysis of fault tolerant distributed systems are discussed. These abstractions concern system messages, faults, fault masking voting, and communication. The abstractions are formalized in higher order logic, and are intended to facilitate specifying and verifying such systems in higher order theorem provers. |
| NASA分類 | Computer Systems |
| 権利 | No Copyright |
|
