Formal specification and analysis of hardware systems in timed Chi

MaRDI QIDQ5503434zbMATH OpenFDO

Authors K. L. Man

Publication date 15 January 2009

zbMATH Keywords

formal semanticsprocess algebrasreal-time systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed Chi: modeling, simulation and verification of hardware systems
• scientific article; zbMATH DE number 1487724
• scientific article; zbMATH DE number 1455620
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• A process algebra for timed systems

Cited in

(4)

• Timed Chi: modeling, simulation and verification of hardware systems
• scientific article; zbMATH DE number 1487724 (Why is no real title available?)
• scientific article; zbMATH DE number 1852157 (Why is no real title available?)
• Redesign of a systems engineering language: formalisation of \(\chi\)

This page was built for publication: Formal specification and analysis of hardware systems in timed Chi

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