On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (1998)

View PDF

Download Links

by Parosh Aziz Abdulla , Ahmed Bouajjani , Bengt Jonsson
Venue:In CAV'98. LNCS 1427
Citations:79 - 18 self

Active Bibliography

32 Using Forward Reachability Analysis for Verification of Lossy Channel Systems – Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani, Bengt Jonsson - 2004
85 Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) – Bernard Boigelot, Patrice Godefroid
185 Verifying Programs with Unreliable Channels (Extended Abstract) – Parosh Abdulla, Bengt Jonsson - 1992
59 Undecidable Verification Problems for Programs with Unreliable Channels – Parosh Aziz Abdulla, Bengt Jonsson - 1994
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract) – Parosh Aziz Abdullah, Mats Kindahl
39 Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol – Parosh Abdulla, Aurore Annichini, Ahmed Bouajjani - 1999
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
25 Probabilistic Lossy Channel Systems – Purush Iyer, Murali Narasimha - 1996
1371 The model checker SPIN – Gerard J. Holzmann - 1997