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
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest edit...
The TPHOLs International Conference serves as a venue for the presentation of work in theorem provin...
Contains fulltext : 132833.pdf (postprint version ) (Open Access
This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Pr...
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Pr...
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prove...
AbstractWe present an interface connecting the ACL2 theorem prover with external deduction tools. Th...
This paper reports our initial experiments with using external ATP on some corpora built with the AC...
The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts...
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theo...
We present an interface connecting the ACL2 theorem prover with external deduction tools. The ACL2 l...
This paper reports our initial experiments with using external ATP on some corpora built with the AC...
This volume contains the papers presented at ITP 2011: the Second International Conference on Intera...
AbstractACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the AC...
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets ...
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest edit...
The TPHOLs International Conference serves as a venue for the presentation of work in theorem provin...
Contains fulltext : 132833.pdf (postprint version ) (Open Access
This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Pr...
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Pr...
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prove...
AbstractWe present an interface connecting the ACL2 theorem prover with external deduction tools. Th...
This paper reports our initial experiments with using external ATP on some corpora built with the AC...
The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts...
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theo...
We present an interface connecting the ACL2 theorem prover with external deduction tools. The ACL2 l...
This paper reports our initial experiments with using external ATP on some corpora built with the AC...
This volume contains the papers presented at ITP 2011: the Second International Conference on Intera...
AbstractACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the AC...
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets ...
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest edit...
The TPHOLs International Conference serves as a venue for the presentation of work in theorem provin...
Contains fulltext : 132833.pdf (postprint version ) (Open Access
DOI
Add to ORKG