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

63 Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations – Ahmed Bouajjani, Peter Habermehl - 1998
83 Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) – Bernard Boigelot, Patrice Godefroid
73 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
176 Verifying Programs with Unreliable Channels (Extended Abstract) – Parosh Abdulla, Bengt Jonsson - 1992
242 On communicating finite-state machines – D Brand, P Zafiropulo
44 Handling Global Conditions in Parameterized System Verification – Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Marcus - 1999
128 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
33 Protocol description and analysis based on a state transition model with channel expressions – J K Pachl - 1987
89 Multiple counters automata, safety analysis and Presburger arithmetic – H. Comon, Safety Analysis, Presburger Arithmetic, 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
48 Transitive Closures of Regular Relations for Verifying Infinite-State Systems – Bengt Jonsson, Marcus Nilsson
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986
154 Parallel program schemata – Richard M Karp, Raymond E Miller - 1969
21 Liveness and Acceleration in Parameterized Verification – Amir Pnueli, Elad Shahar - 2000
53 Verifying systems with infinite but regular state spaces – Pierre Wolper, Bernard Boigelot - 1998
292 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997