First Page | Document Content | |
---|---|---|
Date: 2007-07-10 08:45:22Logic Mathematics Automated theorem proving Formal languages Resolution Literal Regular expression Philosophy of mathematics (SAT -UNSAT) | Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng TangAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 67,13 KBShare Document on Facebook |
Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of WashingtonDocID: 1xVUp - View Document | |
at e d Luis Ceze * Easy to edDocID: 1xVha - View Document | |
Hyperkernel: Push-Button Verification of an OS KernelDocID: 1xVeg - View Document | |
Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi WangDocID: 1xV5v - View Document | |
PDF DocumentDocID: 1xUVq - View Document |