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

Tue, 01 Jan 2002 00:00:00 +0100

Fei Xie, Vladimir Levin, James C. Browne:
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335