selected publications

• conference paper

  • Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation.  . 2004