16 citations · 20 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SC2018
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
Shilpi Goel, Matt Kaufmann
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,…
cs.LO2018★ 1 cited
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
Alessandro Coglio, Shilpi Goel
The ACL2 model of the x86 Instruction Set Architecture was built for the 64-bit mode of operation of the processor. This paper reports on our work to extend the model with support…