Slide 1 Oct. 2007Combinational ModelingSlide 1 Fault-Tolerant Computing Motivation, Background, and Tools Slide 2 Oct. 2007Combinational ModelingSlide 2 About This Presentation…