2006-04-04から1日間の記事一覧

■

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