External Links

    Journal: Formal Methods in System Design

    Volume 14, Issue 3

    235 -- 0Rajeev Alur, Thomas A. Henzinger. Introduction
    237 -- 255Bernard Boigelot, Patrice Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs
    257 -- 271Patrice Godefroid, David E. Long. Symbolic Protocol Verification with Queue BDDs
    273 -- 310C. Norris Ip, David L. Dill. Verifying Systems with Replicated Components in Mur[b.phiv]
    311 -- 332Shmuel Katz, Hillel Miller. Saving Space by Fully Exploiting Invisible Transitions
    runs on