Model Checking of Message Sequence Charts

  title={Model Checking of Message Sequence Charts},
  author={Rajeev Alur and Mihalis Yannakakis},
Scenario based speci cations such as message sequence charts MSC o er an intuitive and visual way of describing design require ments Such speci cations focus on message exchanges among communi cating entities in distributed software systems Structured speci cations such as MSC graphs and Hierarchical MSC graphs HMSC allow con venient expression of multiple… CONTINUE READING



Citations per Year

302 Citations

Semantic Scholar estimates that this publication has 302 citations based on the available data.

See our FAQ for additional information.