Personal tools
You are here: Home Downloads ACL2 3.0
Document Actions

ACL2 3.0

ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University of Texas at Austin.

Click here to get the file

Size 5.7 MB - File type application/x-tar
by shankar last modified 2007-01-31 15:50
Contributors: Robert Boyer, J Strother Moore, and Matt Kaufmann
« November 2009 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
What's up ?
Be notified when a document is published in this folder or below.
 

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: