Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs Bernard BoigelotPatrice Godefroid OriginalPaper Pages: 237 - 255
Symbolic Protocol Verification with Queue BDDs Patrice GodefroidDavid E. Long OriginalPaper Pages: 257 - 271
Verifying Systems with Replicated Components in MurĪ C. Norris IpDavid L. Dill OriginalPaper Pages: 273 - 310
Saving Space by Fully Exploiting Invisible Transitions Shmuel KatzHillel Miller OriginalPaper Pages: 311 - 332