Towards checking parametric reachability for UML state machines

DOI10.1007/978-3-642-11486-1_27MaRDI QIDQ3402288zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Artur Niewiadomski, Wojciech Penczek, MacIej Szreter

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11486-1_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A new approach to model checking of UML state machines
• scientific article; zbMATH DE number 1919419
• A state/event-based model-checking approach for the analysis of abstract system properties
• scientific article; zbMATH DE number 2033511
• Applying software model checking techniques for behavioral UML models

Cited in

(4)

• Intra- and interdiagram consistency checking of behavioral multiview models
• scientific article; zbMATH DE number 1919419 (Why is no real title available?)
• A new approach to model checking of UML state machines
• A state/event-based model-checking approach for the analysis of abstract system properties

This page was built for publication: Towards checking parametric reachability for UML state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3402288)