Home >
domains >
www.cs.utexas.edu
ACL2
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.
|
Keyword |
Results for this URL |
Total searches |