MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An ACL2 Tutorial." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Acl2-Tutorial
by Acl Tutorial Tutorial, Matt Kaufmann, J Strother Moore
… are using the documentation as an introduction to ACL2, start with the chapter entitled "ACL2TUTORIAL…
Add To MetaCart

Published by Computational Logic, Inc.
by Matt Kaufmann And, Matt Kaufmann, J Strother Moore
… are using the documentation as an introduction to ACL2, start with the chapter entitled "ACL2TUTORIAL…
Add To MetaCart

Combining ACL2 and an Automated Verification Tool to Verify a Multiplier
by Erik Reeber — 2006 — Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006
… through the ACL2 tutorial on the web [6]. The details of this ACL2 extension for SixthSense is provided…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB