J Strother Moore

Results: 14



#Item
1Machines 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

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-07-26 10:39:46
2Industrial 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

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2017-08-05 03:12:13
3Industrial 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

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:42
4The 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

Add to Reading List

Source URL: www.cs.miami.edu

Language: English - Date: 2006-07-11 15:25:07
5Computer-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

Add to Reading List

Source URL: fm.csl.sri.com

Language: English - Date: 2010-11-02 19:29:56
6The 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

Add to Reading List

Source URL: fm.csl.sri.com

Language: English - Date: 2010-10-22 17:23:36
7The 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

Add to Reading List

Source URL: www.ai4fm.org

- Date: 2015-09-02 07:29:35
    8A 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

    Add to Reading List

    Source URL: vstte.ethz.ch

    Language: English - Date: 2005-10-11 03:37:08
      9Functional 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

      Add to Reading List

      Source URL: www.ccs.neu.edu

      Language: English - Date: 2015-03-24 18:44:54
      10PROGRAM 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

      Add to Reading List

      Source URL: www.cs.utexas.edu

      Language: English - Date: 2000-04-02 13:39:09