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 application/pdf
.
GSTE through a case study
2002
Computer-Aided Design (ICCAD), IEEE International Conference on
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 [16] . 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 its
doi:10.1145/774572.774651
dblp:conf/iccad/YangG02
fatcat:qszmvdoa5fdpxm6svziosansi4