Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
type: Item
instance of: scholarly article
title: Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
zbMATH Open document ID: 1008.68074
DOI: 10.1016/S1567-8326(01)00012-1
author: S. Gnesi
author: Diego Latella
author: Mieke Massink
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-02-13T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1868264
zbMATH Keywords: formal specification
zbMATH Keywords: formal semantics
zbMATH Keywords: formal verification
zbMATH Keywords: model-checking
zbMATH Keywords: UML
zbMATH Keywords: ACTL
zbMATH Keywords: JACK
describes a project that uses: SPIN
describes a project that uses: CADP
MaRDI profile type: Publication
cites work: Q4318992
cites work: Q4251109
cites work: Q4733398
cites work: An action-based framework for veryfying logical and behavioural properties of concurrent systems
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Model checking for action-based logics
cites work: Statecharts: a visual formalism for complex systems
cites work: Q4251114
cites work: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
cites work: Inductive methods for proving properties of programs
cites work: Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings
cites work: Q3992568
description: scientific article; zbMATH DE number 1868264