scientific article; zbMATH DE number 1919419
From MaRDI portal
Publication:4483796
Recommendations
- A new approach to model checking of UML state machines
- UML model checking
- scientific article; zbMATH DE number 2097479
- Checking consistency in UML diagrams: classes and state machines.
- scientific article; zbMATH DE number 2016088
- Applying software model checking techniques for behavioral UML models
- Towards checking parametric reachability for UML state machines
- scientific article; zbMATH DE number 1670514
Cited in
(15)- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- Live and let die: LSC based verification of UML models
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- A two-level approach based on model checking to support architecture conformance checking
- Towards a call behavior-based compositional verification framework for SysML activity diagrams
- On testing UML statecharts
- Towards checking parametric reachability for UML state machines
- scientific article; zbMATH DE number 1949623 (Why is no real title available?)
- scientific article; zbMATH DE number 2033511 (Why is no real title available?)
- Quantitative Analysis of UML Statechart Models of Dependable Systems
- Applying software model checking techniques for behavioral UML models
- A new approach to model checking of UML state machines
- Model Checking Software
- A formalism for reasoning about UML activity diagrams
- A state/event-based model-checking approach for the analysis of abstract system properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4483796)
