Pages that link to "Item:Q1578397"
From MaRDI portal
The following pages link to Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Q1578397):
Displaying 16 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Formal analysis and verification of Statemate designs (Q2783115) (← links)
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams (Q2847426) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308395) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)
- Model Checking of Extended OCL Constraints on UML Models in SOCLe (Q5428906) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709967) (← links)
