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

Inc.); Matt Kaufmann (The University of Texas at Austin); Shilpi Goel (Centaur Technology

arxiv: 1810.03762 · v2 · pith:MMPBCMC4new · submitted 2018-10-09 · 💻 cs.SC · cs.LO

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

Shilpi Goel (Centaur Technology , Inc.) , Matt Kaufmann (The University of Texas at Austin) This is my paper

classification 💻 cs.SC cs.LO

keywords proceedingsworkshopacl2acl2-2018applicationsinternationalprovertheorem

0 comments

read the original abstract

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, USA, on November 5-6, 2018, immediately after FMCAD'18. The proceedings of ACL2-2018 include eleven long papers and two extended abstracts.

This paper has not been read by Pith yet.

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

discussion (0)