Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

35

POPL
2005
ACM

favoriteEmaildiscussreport

96views Programming Languages» more POPL 2005»

Scalable error detection using boolean satisfiability

14 years 4 months ago

Scalable error detection using boolean satisfiability

Download www.stanford.edu

Yichen Xie, Alexander Aiken

Real-time Traffic

POPL 2005 | Programming Languages | Scalable Error Detection |

claim paper

Related Content

» Symmetry detection for large Boolean functions using circuit representation simulation and...

» Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers

» Cause Clue Clauses Error Localization using Maximum Satisfiability

» Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria

» Bidecomposing large Boolean functions via interpolation and satisfiability solving

» Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

» Eliminating False Positives in Crosstalk Noise Analysis

» Using unsatisfiable cores to debug multiple design errors

» Solving the Satisfiability Problem Using Finite Learning Automata

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2005
Where	POPL
Authors	Yichen Xie, Alexander Aiken

Comments (0)