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

DOI10.1007/S00165-013-0282-7zbMATH Open1342.68201OpenAlexW1966415308MaRDI QIDQ736828FDOQ736828

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

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

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)

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• A semantics for behavior trees using CSP with specification commands
• Title not available (Why is that?)

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)