Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.047.626 Times

ACL2 3.2.1

  Date Added: October 03, 2010  |  Visits: 632

ACL2

Report Broken Link
Printer Friendly Version


Product Homepage
Download (77 downloads)

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth. Whats New in This Release: - A soundness bug and some other minor bugs have been fixed. - Including books has been sped up by as much as 50%. - Rewriting can be dynamically monitored. - Accumulated persistence supports meta-rules and identifies useless rules, and many other minor updates have been made..

Requirements: No special requirements
Platforms: Linux
Keyword: Code Generators Computer Systems Model Programming Programming Language Properties Prove Systems Tool
Users rating: 0/10

License: Freeware Size: 5.8 MB
ACL2 RELATED
Reference  -  Haskell Programming Language 4.5.1
The classic Haskell programming language for iPad, iPhone and iPod touch. Programming language is a perfect tool for studying, complex mathematical calculation, entertainment and many other useful tasks. The application is especially useful for...
5.7 MB  
Reference  -  Python 3 Programming Language 5.0
The new Python 3 programming language for iPad, iPhone and iPod touch. Programming language is a perfect tool for studying, complex mathematical calculation, entertainment and many other useful tasks. The application is especially useful for...
7.7 MB  
Reference  -  Python Programming Language 4.3
The classic Python programming language for iPad, iPhone and iPod touch. Programming language is a perfect tool for studying, complex mathematical calculation, entertainment and many other useful tasks. The application is especially useful for...
7.4 MB  
Reference  -  Groovy Programming Language 4.3
The classic Groovy programming language for iPad, iPhone and iPod touch. Programming language is a perfect tool for studying, complex mathematical calculation, entertainment and many other useful tasks. The application is especially useful for...
4.9 MB  
Code Management Tools  -  Jostraca 0.4.1
Jostraca is a general purpose code generation toolkit for software developers. Jostraca project uses JSP syntax and can be configured to use a number of different programming languages. Jostraca is a templating tool for Generative Programming....
942.08 KB  
Database Publishing  -  RISE MySQL code generator 4.0
RISE MySQL code generator The RISE MySQL code generator generates a native MySQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. Once the database model is updated,...
446.08 KB  
Development Tools  -  CodeLite RC01 1.0
CodeLite is a powerful open-source, cross platform code editor for the C/C programming languages (regulary tested on Windows XP sp2, (K)Ubuntu 7.10 / 8.04, Fedora Core 6, Debian lenny/sid and Mac OSX 10.5.2). CodeLite uses a sophisticated, yet...
 
Development Tools  -  CodeLite RC01 1.0
CodeLite is a powerful open-source, cross platform code editor for the C/C programming languages (regulary tested on Windows XP sp2, (K)Ubuntu 7.10 / 8.04, Fedora Core 6, Debian lenny/sid and Mac OSX 10.5.2). CodeLite uses a sophisticated, yet...
 
Development Editors  -  RISE AJAX code generator 4.4
The RISE AJAX code generator renders JavaScript source code, that uses jQuery, for accessing your JSON enabled web services in your Rich Internet Applications or AJAX applications. The source code from the code generator is compliant with any JSON...
 
Development Tools  -  CodeLite Script 1.0RC01
CodeLite is a powerful open-source, cross platform code editor for the C/C programming languages (regulary tested on Windows XP sp2, (K)Ubuntu 7.10 / 8.04, Fedora Core 6, Debian lenny/sid and Mac OSX 10.5.2).CodeLite uses a sophisticated, yet...
1.33 MB  
NEW DOWNLOADS IN PROGRAMMING, CODE MANAGEMENT TOOLS
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Code Management Tools  -  BitNami Review Board Stack 1.6.9-1 (linux)
Review Board is a powerful web-based code review tool that offers developers an easy way to handle code reviews. It scales well from small projects to large companies and offers a variety of tools to take much of the stress and time out of the...
75.97 MB  
Code Management Tools  -  Common Text Transformation Library 2.08
Common Text Transformation Library, CTTL for short, is a set of C++ classes and functions to understand and modify text data. Common Text Transformation Library implementation is based on STL classes and algorithms. Concept of a substring plays...
163.84 KB  
Code Management Tools  -  GMP compiler 1.0.0
GMP compiler tool simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C. The abbreviation gmpc stands for GMP compiler, or...
276.48 KB  
Code Management Tools  -  phpCodeGenie 3.0.2
phpCodeGenie (PCG) is a code generator for database driven applications. PCG can generate entire working basic database driven applications for you. PCG can generate code from different databases. The database servers it can talk to via ADODB...
1.4 MB  
Code Management Tools  -  idioskopos 0.4.1
idioskopos (Greek: idio- inward, within, private; -skopos look, aim, target) is a C++ library that simplifies (hopefully) the addition of object reflection and introspection. There are numerous libraries that provide object introspection, but...
604.16 KB