Search results for "GSTE"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE is partitioned model checking.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	GSTE, Property-driven partitioning, Symbolic model checking
2	Edward Smith	A Logic for GSTE.	FMCAD	2007	DBLP DOI BibTeX RDF
2	Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie	Maximal Models of Assertion Graph in GSTE.	TAMC	2006	DBLP DOI BibTeX RDF
2	Jin Yang, Avi Puder	Tightly integrate dynamic verification with formal verification: a GSTE based approach.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song	Implication of assertion graphs in GSTE.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Jin Yang, Carl-Johan H. Seger	Compositional Specification and Model Checking in GSTE.	CAV	2004	DBLP DOI BibTeX RDF
2	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE Is Partitioned Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
2	Kelvin Ng, Alan J. Hu, Jin Yang	Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.	ICCD	2004	DBLP DOI BibTeX RDF
2	Alan J. Hu, Jeremy Casas, Jin Yang	Reasoning about GSTE Assertion Graphs.	CHARME	2003	DBLP DOI BibTeX RDF
2	Alan J. Hu, Jeremy Casas, Jin Yang	Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.	ICCAD	2003	DBLP DOI BibTeX RDF
1	Yan Chen, Fei Xie, Jin Yang	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
1	Yan Chen, Yujing He, Fei Xie, Jin Yang	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Thomas Schubert	High level formal verification of next-generation microprocessors.	DAC	2003	DBLP DOI BibTeX RDF	formal property verification
1	Jin Yang, Carl-Johan H. Seger	Introduction to generalized symbolic trajectory evaluation.	IEEE Trans. VLSI Syst.	2003	DBLP DOI BibTeX RDF
1	Jin Yang, Amit Goel	GSTE through a case study.	ICCAD	2002	DBLP DOI BibTeX RDF
1	Jin Yang, Carl-Johan H. Seger	Generalized Symbolic Trajectory Evaluation - Abstraction in Action.	FMCAD	2002	DBLP DOI BibTeX RDF

Displaying result #1 - #16 of 16 (100 per page; Change: )