Model Checking UML State Machines and Collaborations
Open Access
- 31 October 2001
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 55 (3), 357-369
- https://doi.org/10.1016/s1571-0661(04)00262-2
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Implementing statecharts in PROMELA/SPINPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Rewrite Rules and Operational Semantics for Model Checking UML StatechartsLecture Notes in Computer Science, 2000
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checkerFormal Aspects of Computing, 1999
- Formalising UML State Machines for Model CheckingLecture Notes in Computer Science, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Hierarchical automata as model for statechartsLecture Notes in Computer Science, 1997