Journal: Formal Methods in System Design

Volume 6, Issue 2

133 -- 145Olivier Coudert, Jean Christophe Madre. The Implicit Set Paradigm: A New Approach to Finite State System Verification
147 -- 189Carl-Johan H. Seger, Randal E. Bryant. Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
191 -- 216Ramin Hojati, Robert K. Brayton. An Environment for Formal Verification Based on Symbolic Computations
217 -- 232Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol