Checking MSC specifications for timing inconsistency

DOI10.1007/BF02949824zbMath1004.68098OpenAlexW2067257773MaRDI QIDQ1599639

Xuandong Li, Wenkai Tan, Guoliang Zheng

Publication date: 5 June 2002

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02949824

zbMATH Keywords

model checkingmessage sequence chart

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Realizability and verification of MSC graphs
• Interpreting message flow graphs

This page was built for publication: Checking MSC specifications for timing inconsistency