Automatic Reduction in CTL Compositional Model Checking.

Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Browse the full CAV paper archive.