Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Logic in Computer Science
2022-05-24 v1 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.2205.11103,
title = {Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications},
author = {Rob Sumners and Cuong Chau},
journal= {arXiv preprint arXiv:2205.11103},
year = {2022}
}