NASA NTRS · 20040139819
Abstractions for Fault-Tolerant Distributed System Verification
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Pike, Lee S., Maddalon, Jeffrey M., Miner, Paul S., Geser, Alfons. 2004-01-01. Abstractions for Fault-Tolerant Distributed System Verification. https://ntrs.nasa.gov/citations/20040139819
Cite the original work for its findings. Save a collection to share your selection of sources.