2006-04-04 ■ Partial Order Reduction のお勉強。Formal Verification of a Partial-Order Reduction Technique for Model Checking