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.
Authored by
at
, Added: Mar 8, 2004
http://www.cs.utexas.edu/users/moore/acl2/
