The implicit set paradigm: A new approach to finite state system verification O. CoudertJ. C. Madre OriginalPaper Pages: 133 - 145
Formal verification by symbolic evaluation of partially-ordered trajectories Carl-Johan H. SegerRandal E. Bryant OriginalPaper Pages: 147 - 189
An environment for formal verification based on symbolic computations Ramin HojatiRobert K. Brayton OriginalPaper Pages: 191 - 216
Verification of the Futurebus+ cache coherence protocol Edmund M. ClarkeOrna GrumbergLinda A. Ness OriginalPaper Pages: 217 - 232