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 error - Model building - Document - PDFSEARCH.IO

First Page	Meta Content
	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 error Add to Reading List Document Date: 2006-08-21 19:57:13 Open Document File Size: 359,23 KB Share Result on Facebook Company ACM Inc. / / Currency USD / / / Facility Stanford University / / IndustryTerm error detection tools / static error detection systems / software error-detection framework / copyright/server / computing / error checking systems / precise and scalable static error detection systems / / OperatingSystem Linux / / Organization National Science Foundation / Computer Science Department / Stanford University / / Person Gi / Yichen Xie / Alex Aiken / / Position representative / guard / General / guard for s / guard for si as well / / Product Saturn / / ProgrammingLanguage C / / SportsLeague Stanford University / / Technology Linux / / SocialTag Formal 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 List