Warren A. jun. Hunt

Available identifiers

Publication	Date of Publication	Type
Fourier series formalization in ACL2(r)	2024-08-21	Paper
Automated and scalable verification of integer multipliers	2021-02-04	Paper
Efficient certified RAT verification	2017-09-22	Paper
Expressing symmetry breaking in DRAT proofs	2015-12-02	Paper
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs	2014-09-26	Paper
A parallelized theorem prover for a logic with parallel execution	2013-08-07	Paper
Mechanical verification of SAT refutations with extended resolution	2013-08-07	Paper
Verifying Refutations with Extended Resolution	2013-06-14	Paper
A Mechanically Verified AIG-to-BDD Conversion Algorithm	2010-09-14	Paper
Linear and nonlinear arithmetic in ACL2	2010-02-05	Paper
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)	2009-03-12	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Meta Reasoning in ACL2	2006-07-06	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
Verification of FM9801: An out-of-order microprocessor model with speculative execution, exceptions, and program-modifying capability	2002-07-08	Paper
FM8501: a verified microprocessor	1994-06-28	Paper

This page was built for person: Warren A. jun. Hunt