Organize and Share your Electronics the way you want. Sign-Up for a free account now. It takes only 30 seconds!
ACL2 Version 2.7
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.