scientific article; zbMATH DE number 1544531

MaRDI QIDQ4520893zbMATH OpenFDO

Authors Erich Mikk

Publication date 18 December 2000

zbMATH Keywords

Statechartsverification tool

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1390247
• scientific article; zbMATH DE number 1519897
• scientific article; zbMATH DE number 1286822
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Statecharts: a visual formalism for complex systems

Cited in

(28)

• A compositional axiomatization of statecharts
• A constructive approach to state description semantics
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• A comparison of Statecharts step semantics
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 1630131 (Why is no real title available?)
• Part-whole statecharts for precise behavioral semantics
• scientific article; zbMATH DE number 1696497 (Why is no real title available?)
• SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
• Are Statecharts Finite Automata?
• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 1286822 (Why is no real title available?)
• Statecharts to specify the control of automated manufacturing systems
• scientific article; zbMATH DE number 522848 (Why is no real title available?)
• scientific article; zbMATH DE number 1479645 (Why is no real title available?)
• Compositional Verification of Quantitative Properties of Statecharts
• scientific article; zbMATH DE number 2087522 (Why is no real title available?)
• scientific article; zbMATH DE number 1390247 (Why is no real title available?)
• Semantics of full statecharts based on graph rewriting
• Computer Aided Verification
• Fundamental Approaches to Software Engineering
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Theoretical Aspects of Computing - ICTAC 2004
• Equivalences of Statecharts
• A semantics for distributed execution of Statemate
• A formal semantics of extended hierarchical state transition matrices using CSP\#
• Verification of well-formed communicating recursive state machines
• Verification of scope-dependent hierarchical state machines

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 Q4520893)