Warren A. Hunt
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
VWSIM: A Circuit Simulator
Warren A. Hunt and others (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
Use of Formal Verification at Centaur Technology
Warren A. Hunt and others (2010) · Design and Verification of Microprocessor Systems for High-Assurance Applications · Springer US