Login / Signup

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

Wilfried SteinerJohn M. RushbyMaria SoreaHolger Pfeifer
Published in: DSN (2004)
Keyphrases
  • fault tolerant
  • model checking
  • computational complexity
  • verification method
  • temporal logic
  • np hard
  • dynamic programming
  • fault tolerance
  • formal verification
  • deterministic finite automaton
  • optimal solution