Linux Software / Programming / Code Management Tools

ACL2 3.2.1

Date Added: October 03, 2010 | Visits: 957

Report Broken Link
Printer Friendly Version

Product Homepage
Download (99 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

USER REVIEWS

More Reviews or Write Review

ACL2 RELATED

Code Management Tools - Felix Programming Language 1.1.1 Felix is an advanced Algol like procedural programming language with a strong functional subsystem. It features ML style typing, first class functions, pattern matching, garabge collection, polymorphism, and has built in support for high...	1.2 MB
Code Management Tools - 2E Programming Language 0.8.2 2E Programming Language (two es, as in ee, or expression evaluator) is a simple algebraic syntax language. It natively supports expressions (composed of operators and operands), and function definitions, and basically nothing else. Therefore, it...	31.74 KB
Development Editors - Pocket Programming Language FREE 1.62 PPL is a FREE, fast and easy-to-learn programming language that is fully object-oriented. PPL runs on all Windows Mobile devices using Windows Mobile 2003, 5 and 6. PPL is also compatible with PC desktop computers. Programs written for one system...	26.32 MB
Programming - The Qu Programming Language 1.21.10 Qu is a powerful full-featured object oriented programming language. It is an Open Source software. The Qu Programming Language is absolutely free (as in free lunch) and distributed under the GNU General Public License (GPL). Qu is inspired by...	1.3 MB
Programming - Io programming language 2007-04-10 Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk (all values are objects), Self, NewtonScript and Act1 (prototype-based differential inheritance, actors and futures for concurrency), LISP (code is...	5.4 MB
Programming - Hecl Programming Language 20060803 The Hecl Programming Language is a high-level scripting language implemented in Java. Hecl Programming Language is intended to be small, extensible, extremely flexible, and easy to learn and use. Hecl is intended as a complement to the Java...	2.6 MB
Programming - PATH programming language 0.33 PATH is a very different programming language than what you are probably used to if youre an average programmer. If youve programmed in the language Brainf*ck, youll recognize the memory cell architecture. Also, Befunge programmers will recognize...	10.24 KB
Programming - State Programming Language 0.7.0 State is a programming language for automation control software. Hierarchical, type parametrized systems, controlled by Moore statemachines, are connected with arbitrary precision signals. Code generators for M68HC11 and Java are available.	132.2 KB
Miscellaneous - The Squirrel programming language 3.0 Alpha 2 It was designed to be a powerful scripting language for small applications like games, due to its small size, reduced memory bandwidth and little real-time requirements.Squirrlel has been tested with the following compilers:MS Visual C++...
Programming - AFNIX programming language 2.2.0 AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. AFNIX programming language features a state of the art runtime engine that supports both 32 and 64 bits platforms.	1.86 MB

NEW DOWNLOADS IN PROGRAMMING, CODE MANAGEMENT TOOLS

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 - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB
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

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts