Results
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: )
|