Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.

Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer

Browse the full DSN paper archive.