First Page | Document Content | |
---|---|---|
Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem | Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of MiamiAdd to Reading ListSource URL: ti.arc.nasa.govDownload Document from Source WebsiteFile Size: 92,68 KBShare Document on Facebook |