Skip to main content
Article thumbnail
Location of Repository

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

By Fei Xie


1 Introduction Executable object-oriented modeling languages such as xUML [1][2], an executable subset of UML, are widely applied in industry to model software system designs. Model checking [3][4] can potentially enhance the reliability and robustness of executable object-oriented software system designs. However, model checking software system designs of arbitrary size is intractable due to the wellknown state space explosion problem. Therefore, state space reduction algorithms have to be applied to reduce the model checking complexity

Publisher: Springer-Verlag
Year: 2002
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.