Automatic Verification of Fault Tolerance Using Model Checking.

Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno

Browse the full PRDC paper archive.