ACL2 Version 3.1 News

Table of Contents

• ACL2 Course Materials

• Here is a link to the web page for Yishai Feldman's Computer-Aided Reasoning course at The Interdisciplinary Center, Herzliya.
• Ruben Gamboa and John Cowles, COSC5000: Seminar: Introduction to ACL2, Univ. of Wyoming.
• John Cowles, COSC5010: Formalizing the JVM in ACL2, Univ. of Wyoming.
• Links to some of Warren Hunt's courses, many of which use ACL2, may be found here.
• Here is are links to web pages for two courses taught by Pete Manolios at Georgia Tech
  • CS 8803 Computational Logic (Spring 2005)
  • CS 8001 Hardware Verification Fall 2004
• Links to some of J Moore's courses, many of which use ACL2, may be found here.
• Here are links to some web pages for a course taught by Rex Page at the Univ. of Oklahoma.
  • http://www.cs.ou.edu/~rlpage/SEcollab/rlpNotesCAR.zip
  • http://www.cs.ou.edu/~rlpage/SEcollab/rlpSEprojects.zip
  • http://www.cs.ou.edu/~rlpage/SEtools/ACL2books/
• Eric Smith's web page for a class at Stanford