scientific article; zbMATH DE number 7440190

zbMATH Open1482.68102arXiv1607.04457MaRDI QIDQ5015367FDOQ5015367

Xavier Thirioux, Temesghen Kahsai, Pierre-Loïc Garoche

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1607.04457

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1759480
• scientific article; zbMATH DE number 2038754
• Formal analysis of hierarchical state machines
• scientific article; zbMATH DE number 1754627
• Verification of scope-dependent hierarchical state machines
• scientific article; zbMATH DE number 1113855
• Moded and continuous abstract state machines
• A formal semantics of extended hierarchical state transition matrices using CSP\#

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Logic in computer science (03B70)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Statecharts: a visual formalism for complex systems
• Generalized Property Directed Reachability
• Fundamental Approaches to Software Engineering
• Title not available (Why is that?)

Cited In (6)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Solving constrained Horn clauses over algebraic data types
• Reasoning About Data Trees Using CHCs
• Modal functions for concise definition of state machines and products
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• SIGNAL
• Simulink
• StateFlow
• LUSTRE
• Esterel
• PKind
• GitHub

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