Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.

Fei Xie, James C. Browne

Browse the full FASE paper archive.