ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University of Texas at Austin.
|Version||3.0 - Sunday, 28 May 2006|
|OS compatibility||Unix, MacOS X, Windows|
|Source code repository|
You must be logged to add a note
You must be logged to add a comment