Tech Digest Figure Template_1 column_01-06-12

First Page		Document Content
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		Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Download Document from Source Website File Size: 1,57 MB 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