Integrated state space reduction for model checking 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 64-79

  Xie, Fei ^a   Browne, James C ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DESIGN; MODEL CHECKING; ONLINE SYSTEMS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DESIGN MODELING; DISTRIBUTED TRANSACTION; DOMAIN SPECIFIC DESIGN; FRAMEWORK STRUCTURES; OBJECT-ORIENTED SOFTWARE SYSTEMS; PARTIAL IMPLEMENTATION; SOFTWARE SYSTEM DESIGNS; STATE-SPACE REDUCTION;

OBJECT ORIENTED PROGRAMMING;

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

References (15)

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. Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Logic of Programs Workshop (1981)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press (1999)
5. 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)
6. Hardin, R.H., Har’El, Z., Kurshan, R.P.: COSPAN. Proc. of 8th International Conf. on Computer Aided Verification (1996)
7. Cadence: FormalCheck User Guide. Cadence (2001)
8. McMillan, K.L.: A Methodology for Hardware Verification Using Compositional Model Checking. Cadence Technical Report (1999)
9. Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press (1994)
10. Godefroid, P., Pirottin, D.: Refining Dependencies Improves Partial-Order Verification Methods. 5th International Conf. on Computer Aided Verification (1993)
11. Peled, D.: Combining Partial Order Reductions with On-the-fly Model-Checking. Formal Methods in System Design (1996)
12. Valmari, A.: A Stubborn Attack on State Explosion. Proc. of 2th International Conf. on Computer Aided Verification (1990)
13. 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)
14. Levin, V., Yenigün, H.: SDLCheck: A Model Checking Tool. Proc. of 13th International Conf. on Computer Aided Verification (2001)
15. Wang, W., Hidvegi, Z., Bailey, A.D., Whinston, A.B.: E-Processes Design and Assurance Using Model Checking. IEEE Computer Vol. 33 (2000)