ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.

Fei Xie, Vladimir Levin, James C. Browne

Browse the full FASE paper archive.