Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

Shilpi Goel, Matt Kaufmann

This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas,…