Web Directory

    Top: Science: Math: Logic_and_Foundations: Software:

 

ACL2 Version 2.7

  Link Details for: ACL2 Version 2.7
Link Title: ACL2 Version 2.7 Open in a new window
Link URL: http://www.cs.utexas.edu/users/moore/acl2/
Link Details: 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.
Category: Top : Science : Math : Logic_and_Foundations : Software
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
ACL2 Version 2.7