2006-04-01から1ヶ月間の記事一覧

■

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