Objectcheck: A model checking tool for executable object-oriented software system designs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2306, Issue , 2002, Pages 331-335

  Xie, Fei ^a   Levin, Vladimir ^b   Browne, James C ^a  

^a University of Texas at Austin   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84958742196     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_24     Document Type: Conference Paper

References (13)

1. Kennedy Carter: http://www.kc.com/html/xuml.html. Kennedy Carter (2001)
2. Project Tech.: http://www.projtech.com/pubs/xuml.html. Project Tech. (2001)
3. 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)
4. Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Prentice- Hall, Inc (1992)
5. Hardin, R.H., Har’El, Z., Kurshan, R.P.: COSPAN. Proc. of 8th International Conf. on Computer Aided Verification (1996)
6. 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)
7. Xie, F., Browne, J.C.: Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs. Proc. of FASE 2002 (2002)
8. 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)
9. Lilius, J., Porres, I.: vUML: a Tool for Verifying UML Models. Proc. of the Automatic Software Engineering Conf. (1999)
10. OMG: Action Semantics for the UML. OMG (2000)
11. SES: Objectbench User Manual. SES (1996)
12. Levin, V., Yenigün, H.: SDLCheck: A Model Checking Tool. Proc. of 13th International Conf. on Computer Aided Verification (2001)
13. Sharygina, N., Kurshan, R.P., Browne, J.C.: A Formal Object-oriented Analysis for Software Reliability. Proc. of 4th International Conf. on FASE (2001)