The Power of QDDs (1997)

Cached

Download Links

by Bernard Boigelot , Patrice Godefroid , Bernard Willems , Pierre Wolper
Citations:57 - 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
73 Symbolic Verification with Periodic Sets – Bernard Boigelot, Pierre Wolper - 1994
82 Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) – Bernard Boigelot, Patrice Godefroid
240 On communicating finite-state machines – Daniel Brand, Pitro Zafiropulo - 1983
72 On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels – Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson - 1998
594 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper - 1986
2014 A theory of timed automata – Rajeev Alur - 1999
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999