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 - Conference on Automated Deduction - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2010-10-29 12:59:42 Open Document File Size: 197,06 KB Share Result on Facebook Company AT&T / Microsoft / Computer Sciences / / / Facility Computer Sciences University of California / Science University of California / / IndustryTerm state transition systems / heavy-weight tools / / Organization University of California / Berkeley / National Science Foundation / / Position code producer / producer / / Product Coq / Coq proof system / Coq system / / ProgrammingLanguage Java / / ProvinceOrState California / / Technology Java / / SocialTag Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics

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,? 1Add to Reading List