Search results for "GSTE"

Found 20 publication records. Showing 20 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
178	Alan J. Hu, Jeremy Casas, Jin Yang 0006	Reasoning about GSTE Assertion Graphs.	CHARME	2003	DBLP DOI BibTeX RDF
178	Alan J. Hu, Jeremy Casas, Jin Yang	Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.	ICCAD	2003	DBLP DOI BibTeX RDF
157	Kelvin Ng, Alan J. Hu, Jin Yang	Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.	ICCD	2004	DBLP DOI BibTeX RDF
115	Jin Yang 0006, Avi Puder	Tightly integrate dynamic verification with formal verification: a GSTE based approach.	ASP-DAC	2005	DBLP DOI BibTeX RDF
110	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE is partitioned model checking.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	GSTE, Property-driven partitioning, Symbolic model checking
94	Edward Smith	A Logic for GSTE.	FMCAD	2007	DBLP DOI BibTeX RDF
94	Guowu Yang, Jin Yang 0006, Xiaoyu Song, Fei Xie	Maximal Models of Assertion Graph in GSTE.	TAMC	2006	DBLP DOI BibTeX RDF
94	Guowu Yang, Jin Yang 0006, William N. N. Hung, Xiaoyu Song	Implication of assertion graphs in GSTE.	ASP-DAC	2005	DBLP DOI BibTeX RDF
84	Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
74	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE Is Partitioned Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
63	Jin Yang 0006, Carl-Johan H. Seger	Introduction to generalized symbolic trajectory evaluation.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
53	Jin Yang 0006, Carl-Johan H. Seger	Compositional Specification and Model Checking in GSTE.	CAV	2004	DBLP DOI BibTeX RDF
42	Yan Chen 0001, Fei Xie, Jin Yang 0006	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
42	Jin Yang 0006, Carl-Johan H. Seger	Generalized Symbolic Trajectory Evaluation - Abstraction in Action.	FMCAD	2002	DBLP DOI BibTeX RDF
32	Desheng Zheng, Xiaoyu Li, Guowu Yang, Hai Wang, Lulu Tian	An assertion graph based abstraction algorithm in GSTE and Its application.	Integr.	2018	DBLP DOI BibTeX RDF
32	Yongsheng Xu, Guowu Yang, Zhengwei Chang, Desheng Zheng, Wensheng Guo	Terminal Satisfiability in GSTE.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
32	Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo	A Transformation-Based Approach to Implication of GSTE Assertion Graphs.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
32	Edward Smith	A method for generation of GSTE assertion graphs.	HLDVT	2005	DBLP DOI BibTeX RDF
32	Jin Yang 0006, Amit Goel	GSTE through a case study.	ICCAD	2002	DBLP DOI BibTeX RDF
21	Thomas Schubert	High level formal verification of next-generation microprocessors.	DAC	2003	DBLP DOI BibTeX RDF	formal property verification