ACL2 Version 2.7
Edit Page
Report
Scan day: 09 February 2014 UTC
11
Virus safety - good
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.
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 part of the Boyer-Moore family of provers, for which its authors have received the 2005
Size: 228 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | ACL2 Version 6.4 |
| Keywords: | |
| Description: | |
| IP-address: | 128.83.120.139 |
WHOIS Info
| NS | Name Servers: CHISOS.OTS.UTEXAS.EDU 128.83.185.39 GLASS.ITS.UTEXAS.EDU 129.116.136.5 |
| WHOIS | |
| Date | activated: 13-Aug-1985 last updated: 15-Aug-2012 expires: 31-Jul-2014 |