ACL2 - PDFSEARCH.IO - Document Search Engine

ACL2
Results: 65

#	Item
51	The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis The University of Texas at Austin Department of Computer Sciences Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:46 Compiler Compiler construction Programming language implementation Lookup table Computing Computer programming Software engineering
52	Milawa an extensible proof checker Jared Davis ACL2 Seminar, November 16, 2005 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:56 Proof theory Axiom Function Well-formed formula Constructible universe Mathematical induction Logic Mathematics Mathematical logic
53 $__ __ __ __ / \ / \ (__) \| \|$	__ __ __ __ / \ / \ (__) \| \| Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:45 A3 ISO 216 Sequent Formula Counties of Croatia ACL2 Lisp programming language
54	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
55	The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis∗ The University of Texas at Austin Department of Computer Sciences 1 University Station C0500 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-11 19:58:43 Lisp programming language Logic in computer science ACL2 Rewriting First-order logic Lisp FO Theoretical computer science Programming language theory Mathematical logic
56	A Self-Verifying Theorem Prover Jared Davis Ph.D. Defense Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-12-31 01:37:44 Proof theory Lisp programming language Model theory Deduction Mathematical proof ACL2 Thoralf Skolem Theorem Axiom Logic Mathematics Mathematical logic
57	A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:43 Lisp programming language Logic in computer science Proof theory Formal methods Mathematical logic ACL2 Mathematical proof Theorem Automated theorem proving Mathematics Logic Computing
58	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
59	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
60	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