Warren A. jun. Hunt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 (available as arXiv preprint)	2017-09-22	Paper
Expressing symmetry breaking in DRAT proofs Automated Deduction - CADE-25	2015-12-02	Paper
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Lecture Notes in Computer Science	2014-09-26	Paper
A parallelized theorem prover for a logic with parallel execution Interactive Theorem Proving	2013-08-07	Paper
Mechanical verification of SAT refutations with extended resolution Interactive Theorem Proving	2013-08-07	Paper
Verifying Refutations with Extended Resolution Automated Deduction – CADE-24	2013-06-14	Paper
A Mechanically Verified AIG-to-BDD Conversion Algorithm Interactive Theorem Proving	2010-09-14	Paper
Linear and nonlinear arithmetic in ACL2 Lecture Notes in Computer Science	2010-02-05	Paper
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) Automated Reasoning	2009-03-12	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Meta Reasoning in ACL2 Lecture Notes in Computer Science	2006-07-06	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Verification of FM9801: An out-of-order microprocessor model with speculative execution, exceptions, and program-modifying capability Formal Methods in System Design	2002-07-08	Paper
FM8501: a verified microprocessor Lecture Notes in Computer Science	1994-06-28	Paper

Research outcomes over time

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