Model Checking Timed UML State Machines and Collaborations
- 4 October 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 395-414
- https://doi.org/10.1007/3-540-45739-9_23
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed AutomataBRICS Report Series, 2001
- LSCs: Breathing Life into Message Sequence ChartsFormal Methods in System Design, 2001
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checkerFormal Aspects of Computing, 1999
- Timed Sequence Diagrams and Tool-Based Analysis — A Case StudyLecture Notes in Computer Science, 1999
- Formalising UML State Machines for Model CheckingLecture Notes in Computer Science, 1999
- A Compositional Real-time Semantics of STATEMATE DesignsLecture Notes in Computer Science, 1998
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- Executable object modeling with statechartsComputer, 1997
- A theory of timed automataTheoretical Computer Science, 1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987