Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

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

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional programming
• Data types
• Abstract data types
• Functional languages
• Append
• ACL2
• Cons
• Nqthm

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

Source URL: www.cs.utexas.edu

• Computer programming
• Software engineering
• Computing
• Lisp
• ACL2
• Functional languages
• J Strother Moore
• Formal methods
• Automated theorem proving
• Common Lisp
• ACL
• Advanced Micro Devices

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

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

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

Marine Biology: 173–184 DOIs00227z M.J. McHenry Æ J.A. Strother The kinematics of phototaxis in larvae of the ascidian Aplidium

Source URL: mchenrylab.bio.uci.edu

Fedora 16 Живи образи на Fedora Как да използвам жив образ на Fedora Paul W. Frields Nelson Strother

Source URL: docs-old.fedoraproject.org

Kaye Allen O’Kelley was born on Fort Bragg, Fayetteville, North Carolina to Staff Sergeant Ernie William Allen and Mollie Frances Strother. Ms. O’Kelley moved to Washington, D. C to begin her career service with t

Source URL: charlescountyhistorical.org

The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop

Source URL: www.cs.miami.edu

• Functional languages
• Lisp
• Automated theorem proving
• Theoretical computer science
• Procedural programming languages
• ACL2
• Nqthm
• J Strother Moore
• ACL
• Common Lisp
• Formal methods
• Automated reasoning

Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• ACL2
• Lisp
• Statements
• Automated theorem proving
• Formal verification
• J Strother Moore
• Mathematical proof
• Conjecture
• Algorithm
• Reason

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

Source URL: fm.csl.sri.com

• Formal methods
• Technical communication
• Automated theorem proving
• Theoretical computer science
• Logic in computer science
• Formal verification
• ACL2
• Functional verification
• User interface
• Proof assistant
• Usability
• Verification and validation

The Role of Human Creativity in Mechanized Verification J Strother Moore Department of Computer Science

Source URL: www.ai4fm.org