State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.评价结果

评估详情