FIG: A Prototype Tool for On-Line Verification of Recovery Mechanisms Naveen Sastry, Pete Broadwell, Jonathan Traupman, David Patterson University of California,
FIG: A Prototype Tool for On-Line Verification of Recovery Mechanisms
