Symbolic verification of communication protocols with infinite state spaces using qdds (extended abstract (1996)

by B Boigelot, P Godefroid
Venue:In Proc. 8th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science