Math: Logic and Foundations: Software: ACL2 Version 2.7

Home: Math: Logic and Foundations: Software:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: ACL2 Version 2.7

URL: http://www.cs.utexas.edu/users/moore/acl2/

Description: A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people