DMCA
An ACL2 Tutorial
Cached
Download Links
by
Matt Kaufmann
,
J Strother Moore
| Citations: | 4 - 0 self |
BibTeX
@MISC{Kaufmann_anacl2,
author = {Matt Kaufmann and J Strother Moore},
title = {An ACL2 Tutorial},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to provide ideas for other interactive theorem prover projects; and to elicit feedback on how we might incorporate features of other proof tools into ACL2. 1
