Erik Reeber

According to our database, Erik Reeber authored at least 8 papers between 1999 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

Integrating external deduction tools with ACL2.

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber

J. Appl. Log., 2009

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2006

ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool.

Jun Sawada, Erik Reeber

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).

Erik Reeber, Warren A. Hunt Jr.

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Combining ACL2 and an automated verification tool to verify a multiplier.

Erik Reeber, Jun Sawada

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

A SAT-based procedure for verifying finite state machines in ACL2.

Warren A. Hunt Jr., Erik Reeber

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Formalization of the DE2 Language.

Warren A. Hunt Jr., Erik Reeber

Proceedings of the Correct Hardware Design and Verification Methods, 2005

1999

Spambase.

Mark Hopkins, Erik Reeber, George Forman, Jaap Suermondt

Dataset, June, 1999