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.
Chapter PDF
Similar content being viewed by others
References
Kennedy Carter: http://www.kc.com/html/xuml.html. Kennedy Carter (2001)
Project Tech.: http://www.projtech.com/pubs/xuml.html. Project Tech. (2001)
Xie, F., Levin, V., Browne, J. C.: Model Checking for an Executable Subset of UML. Proc. of 16th IEEE International Conf. on Automated Software Engineering (2001)
Shlaer, S., Mellor, S. J.: Object Lifecycles: Modeling the World in States. Prentice-Hall, Inc (1992)
Hardin, R. H., Har’El, Z., Kurshan, R. P.: COSPAN. Proc. of 8th International Conf. on Computer Aided Verification (1996)
Kurshan, R. P., Levin, V., Minea, M., Peled, D., Yenigün, H.: Static Partial Order Reduction. Proc. of 4th International Conf. on Tools and Algorithms for the Construction and Analysis of Systems (1998)
Xie, F., Browne, J. C.: Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs. Proc. of FASE 2002 (2002)
Compton, K., Gurevich, Y., Huggins, J. K., Shen, W.: An Automatic Verification Tool for UML. Univ. of Michigan, EECS Tech. Report CSE-TR-423-00 (2000)
Lilius, J., Porres, I.: vUML: a Tool for Verifying UML Models. Proc. of the Automatic Software Engineering Conf. (1999)
OMG: Action Semantics for the UML. OMG (2000)
SES: Objectbench User Manual. SES (1996)
Levin, V., Yenigün, H.: SDLCheck: A Model Checking Tool. Proc. of 13th International Conf. on Computer Aided Verification (2001)
Sharygina, N., Kurshan, R. P., Browne, J. C.: A Formal Object-oriented Analysis for Software Reliability. Proc. of 4th International Conf. on FASE (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xie, F., Levin, V., Browne, J.C. (2002). ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_24
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive