Efficient techniques for the analysis of algorithm-based fault tolerance (ABFT) schemes | IEEE Journals & Magazine | IEEE Xplore