A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Generalized Symbolic Trajectory Evaluation (GSTE) [17, 18, 19 ] is a very significant extension of STE that has the power to verify all ω-regular properties but at the same time preserves the benefits of the original STE  . It also extends the symbolic quaternary model used by STE to support seamless model refinement for efficiency and accuracy trade-off in GSTE model checking. In this paper, we present a case study on FIFO verification to illustrate the strength of GSTE and demonstrate itsdoi:10.1145/774572.774651 dblp:conf/iccad/YangG02 fatcat:qszmvdoa5fdpxm6svziosansi4