Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Home ›
Development ›
ACL2
ACL2
By Matt Kaufmann and J Strother Moore University of Texas at Austin
Rating:
0/5 (0)
0/5 (0)
License type:
Freeware
Home page:
www.cs.utexas.edu
Latest version:
3.6
Last updated:
July 19th, 2011
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is a very large, multipurpose system. You can use it as a...
