| |
| 2009 | ||
|---|---|---|
| 6 | EE | 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 | EE | Warren A. Hunt Jr., Erik Reeber: A SAT-based procedure for verifying finite state machines in ACL2. ACL2 2006: 127-135 |
| 4 | EE | Erik Reeber, Jun Sawada: Combining ACL2 and an automated verification tool to verify a multiplier. ACL2 2006: 63-70 |
| 3 | EE | Jun Sawada, Erik Reeber: ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. FMCAD 2006: 161-170 |
| 2 | EE | 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 | EE | Warren A. Hunt Jr., Erik Reeber: Formalization of the DE2 Language. CHARME 2005: 20-34 |
| 1 | Warren A. Hunt Jr. | [1] [2] [5] |
| 2 | Matt Kaufmann | [6] |
| 3 | J. Strother Moore | [6] |
| 4 | Sandip Ray | [6] |
| 5 | Jun Sawada | [3] [4] |