OSDN -- 오픈 소스 소프트웨어 개발 및 다운로드
Translation Status of 한국말 translation status for ko

RSS
Download List

프로젝트 설명

ACL2 is a mathematical logic, programming
language, and mechanical theorem prover based on
the applicative subset of 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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2009-05-26 06:08 Back to release list
3.5

거기에 프린터를 제어하는 ""대형 개체 eviscerating에 대한 지원이 향상됩니다. 인증서 지금보다 컴팩트 구조를 공유하고 활용하는 파일입니다. 사용자는 이제 "통치자"종단 분석에 사용되는보다 효과적으로 제어할있다. 많은 다양한 효율성 개선, 매우 큰 개체를 지원하는 존경을 중심으로 만들어왔다. 몇 건전성 버그 패치가되었습니다 다른 여러 버그수정되었습니다.
There is improved support for controlling the printer and "eviscerating" large objects. Certificate files now take advantage of structure sharing and are more compact. The user now has more control over the "rulers" used in termination analysis. Many various efficiency improvements have been made, mainly with respect to supporting very large objects. A few soundness bugs have been patched, and there have been numerous other bugfixes.

Project Resources

Project Page 다운로드: changelog 다운로드: Debian Package (deb) 다운로드: Demo Home Page 다운로드: List 다운로드: TGZ