VSL 2014: VIENNA SUMMER OF LOGIC 2014

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Authors: Matt Kaufmann and J Moore

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Authors:Matt Kaufmann and J Moore
Proceedings:ACL2 2014 Proceedings
Editors: Freek Verbeek and Julien Schmaltz
Keywords:ACL2, automated reasoning, mechanized proof, new features
Abstract:

ABSTRACT. We report on improvements to ACL2 made since the 2013 ACL2 Workshop.

Pages:7
Talk:Jul 12 09:30
Paper:
Disclaimer | Powered by EasyChair Smart Program