Warren A Hunt Jr

Warren A Hunt Jr

University of Texas Austin - Austin / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1675628
University of Texas at Austin
person_outline Warren A Hunt Jr's MOST POPULAR ARTICLES
1-) FM8501: A Verified Microprocessor, volume 795 of Lecture Notes in Artificial Intelligence Springer-Verlag, Berlin, 1994
2-) DRAT-trim: Efficient checking and trimming using expressive clausal proofs International Conference on Theory and Applications of Satisfiability …, 2014
3-) An approach to systems verification Journal of Automated Reasoning 5 (4), 411-428, 1989
4-) Microprocessor design verification Journal of Automated Reasoning 5 (4), 429-460, 1989
5-) Trimming while checking clausal proofs Formal Methods in Computer-Aided Design (FMCAD), 2013, 181-188, 2013