Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid

Browse the full CAV paper archive.