Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

2020/09/26 by Grant Passmore, Ruben Gamboa · 9 citations
Computer Science · #cs.LO #cs.AI

paper · pdf · doi:10.4204/eptcs.327

published as EPTCS 327, 2020

arxiv created 2020/09/26 · arxiv updated 2020/09/29

Abstract

This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.

Cited by

• Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2
• Iteration in ACL2
• New Rewriter Features in FGL
• Computing and Proving Well-founded Orderings through Finite Abstractions
• RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2
• Quadratic Extensions in ACL2
• Generating Mutually Inductive Theorems from Concise Descriptions
• Ethereum's Recursive Length Prefix in ACL2
• Isomorphic Data Type Transformations

Related

• Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
• Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
• Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
• Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
• Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications