Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
arXiv:2205.11103v1h-index: 9
Originality Synthesis-oriented
AI Analysis
It serves as a proceedings volume for the ACL2 community, presenting incremental updates and discussions from a specialized technical forum.
The paper compiles selected works from the 17th International Workshop on the ACL2 Theorem Prover and its Applications, focusing on research and experiences related to ACL2.
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences related to ACL2.