Presentations made to Tony Hoare in ACL2 Seminar, 4/26/2016

• ACL2 User Support, Matt Kaufmann and J Moore
  • Associated demo input file
• Solving and Verifying Hard Problems using SAT, Marijn J.H. Heule
• Analysis of x86 Application and System Programs via Machine-Code Verification, Shilpi Goel, Warren A. Hunt, Jr., and Matt Kaufmann
• Adding APPLY to ACL2 -- Work in Progress, Matt Kaufmann and J Strother Moore
  • Associated demo input file