Erik Reeber

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
Integrating external deduction tools with ACL2. J. Appl. Log. 7 (1) (2009)
Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV (2009)
Jun Sawada, Erik Reeber
ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. FMCAD (2006)
Erik Reeber, Jun Sawada
Combining ACL2 and an automated verification tool to verify a multiplier. ACL2 (2006)
Erik Reeber, Warren A. Hunt Jr.
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). IJCAR (2006)
Warren A. Hunt Jr., Erik Reeber
A SAT-based procedure for verifying finite state machines in ACL2. ACL2 (2006)
Warren A. Hunt Jr., Erik Reeber
Formalization of the DE2 Language. CHARME (2005)