Model checking of message sequence charts (1999)

Cached

Download Links

by Rajeev Alur , Mihalis Yannakakis
Citations:124 - 6 self

Documents Related by Co-Citation

181 Inference of Message Sequence Charts – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2003
349 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
52 Deciding Properties for Message Sequence Charts – Anca Muscholl, Doron Peled, Zhendong Su - 1998
1994 The Unified Modelling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1999
24 On message sequence graphs and finitely generated regular MSC languages – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar - 2000
41 Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces – Anca Muscholl, Doron Peled - 1999
64 Syntactic detection of process divergence and non-local choice in message sequence charts – Hanene Ben-Abdallah, Stefan Leue - 1997
25 Synthesizing Distributed Finite-State Systems from MSCs. TCS – M Mukund, K Narayan Kumar, M Sohoni - 2003
83 The Standardization of Message Sequence Charts – Jens Grabowski, Peter Graubmann, Ekkart Rudolph - 1993
91 From MSCs to statecharts – Ingolf Kr├╝ger, Radu Grosu, Peter Scholz, Manfred Broy - 1998
69 Realizability and Verification of MSC-Graphs – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2002
83 Synthesizing State-Based Object Systems from LSC Specifications – David Harel, Hillel Kugler - 2000
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
8 Verification of message sequence charts via template matching – V Levin, D Peled - 1997
12 Specification and verification of message sequence charts – D Peled - 2000
22 Regular Collections of Message Sequence Charts (Extended Abstract) – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan - 2000
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986
21 Design Tools for Requirements Engineering – Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg - 1997
153 Generating Statechart Designs From Scenarios – Jon Whittle, Johann Schumann - 2000