Advertisement

ACL2 Essentials

  • Matt Kaufmann
  • Panagiotis Manolios
  • J. Strother Moore
Part of the Advances in Formal Methods book series (ADFM, volume 4)

Abstract

We present here a brief, and very informal, introduction to ACL2. Our purpose is to provide just enough ACL2 background to support reading the ACL2 formulas displayed in this book's case studies. The reader interested in learning more about ACL2 is invited to take a look at the companion volume, [58], and to visit the ACL2 home page (see page 4).

Keywords

Binary Tree Companion Volume Proof Obligation Recursive Definition Empty List 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Matt Kaufmann
    • 1
  • Panagiotis Manolios
    • 2
  • J. Strother Moore
    • 2
  1. 1.Advanced Micro Devices, Inc.AustinUSA
  2. 2.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations