![Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Model checking / Data types / Boolean satisfiability problem / Ada / Pointer / Computing / Software engineering / Theoretical computer science Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Model checking / Data types / Boolean satisfiability problem / Ada / Pointer / Computing / Software engineering / Theoretical computer science](https://www.pdfsearch.io/img/14defc91755e7b0bf9d509cd6ba7a356.jpg) Date: 2005-05-20 18:05:46Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science | | Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.eduAdd to Reading ListSource URL: theory.stanford.eduDownload Document from Source Website File Size: 90,36 KBShare Document on Facebook
|