1![Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences](https://www.pdfsearch.io/img/707d714db2a276f9be1cee926736f650.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-26 10:39:46
|
---|
2![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/5e0b91dfc1dea202f4a3e7c1d5161bf0.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-05 03:12:13
|
---|
3![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu](https://www.pdfsearch.io/img/a4c297366ea4e20b548ffe63d536fa6f.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42
|
---|
4![The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop](https://www.pdfsearch.io/img/ffca202896f2b98c83ffbf46a854276f.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-07-11 15:25:07
|
---|
5![Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA](https://www.pdfsearch.io/img/a8cba98b36370209dba0adbdd0dcba39.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-11-02 19:29:56
|
---|
6![The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701](https://www.pdfsearch.io/img/697c0596855797427d6f778464dbf0c0.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-10-22 17:23:36
|
---|
7![The Role of Human Creativity in Mechanized Verification J Strother Moore Department of Computer Science The Role of Human Creativity in Mechanized Verification J Strother Moore Department of Computer Science](https://www.pdfsearch.io/img/aca18c97077062ee5e12f4eda6be97fa.jpg) | Add to Reading ListSource URL: www.ai4fm.org- Date: 2015-09-02 07:29:35
|
---|
8![A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http://cs.utexas.edu/users/moore A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http://cs.utexas.edu/users/moore](https://www.pdfsearch.io/img/89fe9f278949288462ba030772de24d7.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:08
|
---|
9![Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page](https://www.pdfsearch.io/img/4a5efd13fe3e926ad51ec7c461edb106.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2015-03-24 18:44:54
|
---|
10![PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese](https://www.pdfsearch.io/img/c143181bd6cfa1b3f2c26438108dbb17.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2000-04-02 13:39:09
|
---|