The Power of QDDs (1997)

Cached

Download Links

by Bernard Boigelot , Patrice Godefroid , Bernard Willems , Pierre Wolper
Citations:56 - 1 self

Documents Related by Co-Citation

62 Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations – Ahmed Bouajjani, Peter Habermehl - 1998
82 Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) – Bernard Boigelot, Patrice Godefroid
70 Symbolic Verification with Periodic Sets – Bernard Boigelot, Pierre Wolper - 1994
71 On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels – Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson - 1998
175 Verifying Programs with Unreliable Channels (Extended Abstract) – Parosh Abdulla, Bengt Jonsson - 1992
238 On communicating finite-state machines – D Brand, P Zafiropulo - 1983
43 Handling Global Conditions in Parameterized System Verification – Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Marcus - 1999
126 Regular Model Checking – Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili - 2000
89 Symbolic model checking with rich assertional languages – Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar - 1997
32 Protocol description and analysis based on a state transition model with channel expressions – J K Pachl - 1987
88 Multiple counters automata, safety analysis and Presburger arithmetic – Hubert Comon, Y. Jurski - 1998
66 S.P.: Unreliable channels are easier to verify than perfect channels – G Cécé, A Finkel, Iyer - 1996
26 S.: Data flow analysis of communicating finite state machines – W Peng, Puroshothaman - 1991
581 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper - 1986
48 Transitive Closures of Regular Relations for Verifying Infinite-State Systems – Bengt Jonsson, Marcus Nilsson
154 R.E.Miller: Parallel Program Schemata – R M Karp - 1969
21 Liveness and Acceleration in Parameterized Verification – Amir Pnueli, Elad Shahar - 2000
52 Verifying systems with infinite but regular state spaces – Pierre Wolper, Bernard Boigelot - 1998
289 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997