NoMoz Directory NoMoz Directory
NoMoz 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
Link URL: http://www.cs.utexas.edu/users/moore/acl2/ Open in a new window
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 FeaturedDelete this link - No additionsAdd your link and delete this linkAdd a regular link
ScreenShot:
ACL2 Version 2.7