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

First Page		Document Content
Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm		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 Download Document from Source Website File Size: 133,44 KB Share Document on Facebook

	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 DocID: 1xTGw - View Document
	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 DocID: 1xTgS - View Document
	A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract DocID: 1s0TG - View Document
	Modular Proof Development in ACL2 A dissertation presented by Carl Eastlund DocID: 1rWaI - View Document
	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 DocID: 1rNkY - View Document