ACL2 Support for Automated and Interactive Proof
These slides are for an invited talk presented by Matt Kaufmann at 14th KeY Symposium 2015, Gothenburg, Sweden, July 27, 2015.
Slides without pauses
(for reading on the web)
Slides with pauses
(for reading in a pdf viewer)
Associated demo materials, including logs
As a single