摘要: The ISO standard for MSC provides a useful tool visualizing communication protocols. MSCs present model concurrency that is different from the of finite state systems, used frequently in automated verification. Thus, poses new and interesting problems related to automatic verification In this paper, some recent results are surveyed.