Volume 14, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 14, Issue 3

May 1999

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

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