An Introduction to ACL2
Included here are the following.
- Slides in pdf format for two 1.25
hour talks in a UT CS graduate class (April 2015 and again in April 2016).
- A gzipped tarfile with supporting
materials (ACL2 input files and corresponding logs) referenced in
Of related interest are two recent talks given at the workshop on
Verified Trustworthy Software Systems, Specialist Meeting, London,
UK, April 2016: