Publications
ACL2 Annotated Bibliography
This is the top-level topic for an annotated bibliography
containing books and Papers about ACL2 and Its
Applications.
NOTES:
- The lists in the subtopics are generally incomplete, and many entries are
out-of-date. To search for publications about some ACL2 topic we recommend a
standard web search (e.g., Google) and that you include in your search pattern
the name ACL2.
- See also the ACL2
workshops page for proceedings of ACL2 workshops, which contain numerous
papers, many of them recent, that are not found below.
- The ACL2 community is invited to add entries for missing publications. If
you add an entry, please try to conform to the existing style. Each topic in
the documentation tree below the present topic has entries that are generally
ordered from newest to oldest. So consider adding new papers at or near the
top of a topic.
Subtopics
- Pub-books
- Books Published
- Pub-papers
- Papers Involving ACL2
- Pub-summary
- About ACL2: Quick Summary of What Can Be Done and How to Learn ACL2
- Pub-related-web-sites
- Related Web Sites
