Search results for "BDD-techniques"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
37	Henrik Reif Andersen, Henrik Hulgaard	Boolean Expression Diagrams (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
35	Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng	Incremental logic rectification.	VTS	1997	DBLP DOI BibTeX RDF	incremental logic rectification, incorrect combinational circuit, symbolic BDD techniques, sequence of partial corrections, circuits with multiple errors, general single-gate correction, structural correspondence, ISCAS85 benchmark circuits, error region pruning, specification, implementation, logic CAD, VLSI design, hybrid approach
25	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with invisible ranking.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
25	Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler	Checking Consistency and Completeness of On-Line Product Manuals.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	problem encoding, BDD-techniques, SAT, real-world applications
21	Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng	Static property checking using ATPG vs. BDD techniques.	ITC	2000	DBLP DOI BibTeX RDF
13	Andrew Seawright, Forrest Brewer	Clairvoyant: a synthesis system for production-based specification.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
12	Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi	Techniques for specifying bug patterns.	PADTAD	2007	DBLP DOI BibTeX RDF	static analysis, message passing interface, datalog, bug patterns
11	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
10	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
10	Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp	Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.	APAQS	2001	DBLP DOI BibTeX RDF

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