A formal semantics of extended hierarchical state transition matrices using CSP\#

DOI10.1007/S00165-013-0282-7MaRDI QIDQ736828zbMATH OpenOpenAlexFDO

Authors Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

Publication date 5 August 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-013-0282-7

zbMATH Keywords

CSPmodel checkingembedded systemsformal semanticssoftware modelling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1544531
• scientific article; zbMATH DE number 1241718
• Symbolic analysis tools for CSP
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• CSP with Hierarchical State

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 2086949 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(2)

• A semantics for behavior trees using CSP with specification commands
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)

Describes a project that uses

Uses Software

• mCRL2
• SPIN
• cvc3
• PAT

This page was built for publication: A formal semantics of extended hierarchical state transition matrices using CSP\#

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