Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications

Freek Verbeek, Julien Schmaltz

This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2'14, a two-day workshop held in Vienna, Austria, on…