Verification of Large State-Event Systems using Compositionality and Dependency Analysis

This paper introduces a technique that uses compositionality and dependency analysis to significantly improve the efficiency of symbolic model checking of state/event models.