Fault-tolerant computer systems are designed such that they produce correct results, or actions, even in the presence of faults or other anomalous conditions, through some form of redundancy.