Nqthm - PDFSEARCH.IO - Document Search Engine

Nqthm
Results: 24

#	Item
21	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
22	A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-23 22:30:57 Lisp programming language Functional languages Formal methods Logic in computer science Isabelle ACL2 Mathematical logic Nqthm Common Lisp Computing Software engineering Computer programming
23	Copyright by Jared Curran Davis 2009 The Dissertation Committee for Jared Curran Davis Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-05 00:16:20 Automated theorem proving Mathematical logic Proof theory ACL2 Lisp programming language Nqthm Mathematical proof Theorem prover Theorem Logic Theoretical computer science Mathematics
24	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming