Warren A. jun. Hunt

Available identifiers

zbMath Open hunt.warren-a-junMaRDI QIDQ1327710

List of research outcomes

Publication	Date of Publication	Type
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
Mechanical Verification of SAT Refutations with Extended Resolution	2013-08-07	Paper
A Parallelized Theorem Prover for a Logic with Parallel Execution	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
Correct Hardware Design and Verification Methods	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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