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