Title: Validation of a fault-tolerant multiprocessor
Subjects: Fault-tolerant computing, Multiprocessors