ACL2

Keyphrases

Publications

2022

William D. Young
Modeling Asymptotic Complexity Using ACL2. ACL2 (2022)
David M. Russinoff
A Formalization of Finite Group Theory. ACL2 (2022)
Ruben Gamboa, Woodrow Gamboa
All Prime Numbers Have Primitive Roots. ACL2 (2022)
Alessandro Coglio
A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java. ACL2 (2022)
Warren A. Hunt Jr., Vivek Ramanathan, J. Strother Moore
VWSIM: A Circuit Simulator. ACL2 (2022)
Jagadish Bapanapally, Ruben Gamboa
A Free Group of Rotations of Rank 2. ACL2 (2022)
Andrew T. Walter, Panagiotis Manolios
ACL2s Systems Programming. ACL2 (2022)
Alessandro Coglio
A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2. ACL2 (2022)
Ruben Gamboa, Alicia Thoney
Using ACL2 To Teach Students About Software Testing. ACL2 (2022)
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
David M. Russinoff
Properties of the Hebrew Calendar. ACL2 (2022)
Mertcan Temel
Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2. ACL2 (2022)
David Hardin
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2. ACL2 (2022)
David A. Greve, Jennifer A. Davis, Laura R. Humphrey
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A. ACL2 (2022)

volume 359, 2022

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. ACL2 359 (2022)

2020

volume 327, 2020

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020. ACL2 327 (2020)

2018

volume 280, 2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. ACL2 280 (2018)

2017

volume 249, 2017

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. ACL2 249 (2017)

2015

volume 192, 2015

Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. ACL2 192 (2015)