Symbolic verification of communication protocols with infinite state spaces using QDDs (1999)

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