Changes between Initial Version and Version 1 of ACL2


Ignore:
Timestamp:
04/28/07 08:04:57 (7 years ago)
Author:
bfulgham
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ACL2

    v1 v1  
     1= ACL2 = 
     2 
     3[http://www.cs.utexas.edu/users/moore/acl2/ ACL2] is a modeling and analysis tool, which is regularly used to help ensure the correctness and security of computing system. 
     4 
     5The '''ACL2''' system is written in Common Lisp, and '''OpenMCL''' is used for '''ACL2''' development and deployment. Enhancements and extensions so OpenMCL will better support analysis and theorem proving is being funded, in part, by [http://en.wikipedia.org/wiki/DARPA DARPA] and the [http://www.nsf.gov/ NSF] under subcontract from the [http://www.utexas.edu/ University of Texas]. 
     6 
     7Please contact Professor Warren A. Hunt, Jr., [mailto:hunt@cs.utexas.edu <hunt@cs.utexas.edu>], for additional information.