H Hecht - IEEE Transactions on Reliability, 1979 - ieeexplore.ieee.org
Limitations in the current capabilities for verifying programs by formal proof or by exhaustive
testing have led to the investigation of fault-tolerance techniques for applications where the …