Published in Proc. of “Conference on Automated Deduction (CADE)”, A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani and George C. Necula University of Califo

Source URL: www.cs.berkeley.edu

Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

Source URL: www.cs.berkeley.edu

• Deduction
• Formal methods
• Model theory
• Proof-carrying code
• Theorem
• Type safety
• IP
• Soundness
• Logic
• Mathematics
• Proof theory

The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software

Source URL: imps.mcmaster.ca

• Computer science
• Logic in computer science
• Formal methods
• Artificial intelligence
• Automated reasoning
• Conference on Automated Deduction
• International Joint Conference on Automated Reasoning
• Theoretical computer science
• Applied mathematics
• Automated theorem proving