Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (1999)

by B Boigelot, P Godefroid
Venue:Formal Methods in System Design