Model checking of message sequence charts (1999)

View PDF

Download Links

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

Active Bibliography

87 Model checking of hierarchical state machines – Rajeev Alur
2176 A theory of timed automata – Rajeev Alur - 1999
198 Inference of Message Sequence Charts – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2003
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
36 Communicating hierarchical state machines – Rajeev Alur, Sampath Kannan, Mihalis Yannakakis - 1999
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
1177 Temporal and modal logic – E. Allen Emerson - 1995
663 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
648 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992