scientific article; zbMATH DE number 7440190

MaRDI QIDQ5015367zbMATH OpenFDO

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

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1607.04457, http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2016.2

Mathematics Subject Classification ID

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

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\#

Cites work

• scientific article; zbMATH DE number 7364138 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Generalized property directed reachability
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(7)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Solving constrained Horn clauses over algebraic data types
• Modal functions for concise definition of state machines and products
• Reasoning About Data Trees Using CHCs
• scientific article; zbMATH DE number 1759480 (Why is no real title available?)
• scientific article; zbMATH DE number 7314988 (Why is no real title available?)
• Automated analysis of Stateflow models

Describes a project that uses

Uses Software

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

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)