Author Info
Name
Affiliation
Papers
ERIK REEBER
University of Texas at Austin
7
Collaborators
Citations 
PageRank 
16
86
5.58
Referers 
Referees 
References 
180
134
96
Search Limit
100180
Title
Citations
PageRank
Year
Integrating external deduction tools with ACL280.592009
Replacing Testing with Formal Verification in Intel$^{\scriptsize\circledR}$ CoreTM i7 Processor Execution Engine Validation431.842009
A SAT-based decision procedure for the subclass of unrollable list formulas in ACL2 (SULFA)80.702006
Combining ACL2 and an automated verification tool to verify a multiplier60.682006
ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool80.552006
A SAT-based procedure for verifying finite state machines in ACL220.412006
Formalization of the DE2 language110.802005