Title: Verification of the Ftcayuga Fault-Tolerant Microprocessor System. Volume 2