Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science, 2002, Volume 2306/2002, 331-335, DOI: 10.1007/3-540-45923-5_24

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

Fei Xie, Vladimir Levin and James C. Browne

View Related Documents

Abstract

ObjectCheck has facilitated effiective model checking of non-trivial software system designs represented as xUML models. Ongoing research in state space reduction at the xUML model level shows significant promise for enabling model checking of substantial software system designs specified as xUML models.

Fulltext Preview

Image of the first page of the fulltext document