Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

Matt Kaufmann, David L. Rager

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