![Formal methods / Boolean algebra / Symbol / Entailment / Interpretation / Boolean satisfiability problem / Logic / Theoretical computer science / Model theory Formal methods / Boolean algebra / Symbol / Entailment / Interpretation / Boolean satisfiability problem / Logic / Theoretical computer science / Model theory](https://www.pdfsearch.io/img/6f92d43317f244fc388b3f6c349a1f3b.jpg) Date: 2006-08-21 19:57:13Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory | | Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static errorAdd to Reading ListSource URL: theory.stanford.eduDownload Document from Source Website File Size: 359,23 KBShare Document on Facebook
|