A compositional axiomatization of statecharts

DOI10.1016/0304-3975(92)90053-IzbMath0770.68090MaRDI QIDQ1194330

S. Singh

Publication date: 27 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Statechartsdenotational semanticsprogramming languagespecification languageprogram verificationcompositional axiomatic system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (4)

What Is in a Step: New Perspectives on a Classical Question ⋮ A Bibliography of Willem-Paul de Roever ⋮ A compositional \(\mu\)-calculus proof system for statecharts processes ⋮ A comparison of Statecharts step semantics

Uses Software

• LUSTRE
• Esterel

Cites Work

• Introduction to design choices in the semantics of Statecharts
• A model and temporal proof system for networks of processes
• Statecharts: a visual formalism for complex systems
• Compositional semantics for real-time distributed computing
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• First-order dynamic logic
• Tentative steps toward a development method for interfering programs
• Proofs of Networks of Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A compositional axiomatization of statecharts