Automated theorem proving - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics		Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 60,10 KB Share Document on Facebook

	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier DocID: 18RKg - View Document
	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge DocID: 131vK - View Document
	Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany DocID: 11O1l - View Document
	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 DocID: FCvd - View Document
	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna DocID: 9Lge - View Document