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