ACL2 2006 - PDF Preprint Papers

ACL2 2006 International Workshop on the ACL2 Theorem Prover and its Applications

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ACL2-2006 Paper

click to vote

ACL2
2006
ACM

101views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

1 years 11 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	101	Towards a formal theory of on chip communications in the ACL2 logic	claim
2	99	A robust machine code proof framework for highly secure applications	claim
3	87	ACL2 in DrScheme	claim
4	86	Quantification in tail-recursive function definitions	claim
5	85	Soundness of the simply typed lambda calculus in ACL2	claim
6	82	A verifying core for a cryptographic language compiler	claim
7	81	An embedding of the ACL2 logic in HOL	claim
8	79	Double rewriting for equivalential reasoning in ACL2	claim
9	79	The ideal of verified software	claim
10	78	Unique factorization in ACL2: Euclidean domains	claim
11	75	Parameterized congruences in ACL2	claim
12	74	Adding parallelism capabilities to ACL2	claim
13	72	Function memoization and unique object representation for ACL2 functions	claim
14	71	Memories: array-like records for ACL2	claim
15	70	Combining ACL2 and an automated verification tool to verify a multiplier	claim
16	68	Implementing a cost-aware evaluator for ACL2 expressions	claim
17	64	Phylogenetic trees in ACL2	claim
18	63	Reasoning about ACL2 file input	claim
19	63	A SAT-based procedure for verifying finite state machines in ACL2	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers