|
Journals in DBLP
- Olivier Coudert, Jean Christophe Madre
The Implicit Set Paradigm: A New Approach to Finite State System Verification. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:133-145 [Journal]
- Carl-Johan H. Seger, Randal E. Bryant
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:147-189 [Journal]
- Ramin Hojati, Robert K. Brayton
An Environment for Formal Verification Based on Symbolic Computations. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:191-216 [Journal]
- Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:217-232 [Journal]
|