A Case Study in the Mechanical Verification of Fault Tolerance.

Heiko Mantel, Felix C. Grtner

Browse the full FlAIRS paper archive.