| Name | EntryDate | Details |
| ACL2 Version 3.0 | 2006-07-02 23:45:11 |
Description: A Computational Logic for Applicative Common Lisp (ACL2) - think of it as a framework for formal verification. License: Open Source, GNU or similar Type: programming language & theorem prover Price: free download URL: http://www.cs.utexas.edu/ users/ moore/ acl2/ OSs: Windows, Linux, Mac-OS, Source Available Limitations: The ACL2 website notes it can be used as "a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover." ReviewText: ACL2 is the winner of the 2005 ACM Software System Award. The list of ACL2 applications on the site is impressive. Keywords: formal verification , LISP , ACL2 , theorem prover , programming language , specification language Submitter: EE HomePage Editorial Staff Affiliation: None xml_ID: 1151905511 (single entry page) |
Where EEs Navigate A Changing World.