Warren A. Hunt

发表

Anna Slobodová, Sol Swords, Jared Davis, 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.
Warren A. Hunt, Erik Reeber, W. Hunt, 2005, CHARME.
Matt Kaufmann, Warren A. Hunt, Shilpi Goel, 2017, Provably Correct Systems.
Robert S. Boyer, Warren A. Hunt, Serita M. Nelesen, 2005, WABI.
Robert S. Boyer, Warren A. Hunt, 2009, ACL2 '09.
Matt Kaufmann, Warren A. Hunt, David L. Rager, 2011, ELS.
Sandip Ray, Warren A. Hunt, 2009, 2009 Formal Methods in Computer-Aided Design.
Marijn J. H. Heule, Marijn Heule, Warren A. Hunt, 2013, 2013 Formal Methods in Computer-Aided Design.
Sandip Ray, Warren A. Hunt, 2007, 2007 Eighth International Workshop on Microprocessor Test and Verification.
Warren A. Hunt, 2010, ISAIM.
Hong Chen, Marly Roncken, Xiaoyu Song, 2017, 2017 51st Asilomar Conference on Signals, Systems, and Computers.
Michael J. C. Gordon, Matt Kaufmann, James Reynolds, 2006, 2006 Formal Methods in Computer Aided Design.
Warren A. Hunt, 1994 .
Warren A. Hunt, Serita M. Nelesen, W. Hunt, 2006, ACL2 '06.
Jun Sawada, Warren A. Hunt, 2000, FMCAD.
Marly Roncken, Matt Kaufmann, Warren A. Hunt, 2019, 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Warren A. Hunt, Erik Reeber, 2006, ACL2 '06.
Donald S. Fussell, Warren A. Hunt, Jun Sawada, 1999 .
Anna Slobodová, Sol Swords, Jared Davis, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Marijn J. H. Heule, Marijn Heule, Warren A. Hunt, 2013, CADE.
Warren A. Hunt, 1994 .
Bishop Brock, Warren A. Hunt, W. Hunt, 1989, Hardware Specification, Verification and Synthesis.
Marly Roncken, Ivan E. Sutherland, Warren A. Hunt, 2017, Haifa Verification Conference.
Marijn J. H. Heule, Marijn Heule, Warren A. Hunt, 2014, Softw. Test. Verification Reliab..
Samuli Laine, Warren A. Hunt, Michael Doggett, 2010 .
Warren A. Hunt, Christopher A. Burns, W. Hunt, 2013 .
Warren A. Hunt, 1994 .
Ganesh Gopalakrishnan, Warren A. Hunt, 2003, Formal Methods Syst. Des..
Bishop Brock, Warren A. Hunt, William D. Young, 1992, TPCD.
Warren A. Hunt, William R. Bevier, William D. Young, 1987, 1987 IEEE Symposium on Security and Privacy.
Bishop C. Brock, Warren A. Hunt, W. Hunt, 1989 .
Jacob A. Abraham, Vinod Viswanath, Warren A. Hunt, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Sol Swords, Warren A. Hunt, 2009, CAV.
Warren A. Hunt, J. S. Moore, J Strother Moore, 2003, CHARME.
Peter Schneider-Kamp, Luís Cruz-Filipe, Marijn Heule, 2017, CADE.
Michael J. C. Gordon, Matt Kaufmann, James Reynolds, 2006, ACL2 '06.
Matt Kaufmann, Warren A. Hunt, David L. Rager, 2013, ITP.
Marijn J. H. Heule, Marijn Heule, Warren A. Hunt, 2015, CADE.
Matt Kaufmann, Warren A. Hunt, Cuong K. Chau, 2015, ACL2.
James C. Browne, Warren A. Hunt, 2007 .
Matt Kaufmann, Warren A. Hunt, Shilpi Goel, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Bishop C. Brock, Warren A. Hunt, 1990 .
Marijn J. H. Heule, Marijn Heule, Matt Kaufmann, 2017, ITP.
Steven D. Johnson, Warren A. Hunt, 2002, Lecture Notes in Computer Science.
Matt Kaufmann, Warren A. Hunt, J. S. Moore, 2005, TPHOLs.
Marijn Heule, Warren A. Hunt, Nathan Wetzler, 2013, ITP.
Marijn J. H. Heule, Marijn Heule, Warren A. Hunt, 2014, SAT.
Sandip Ray, John Matthews, Warren A. Hunt, 2008, Journal of Automated Reasoning.
Warren A. Hunt, 1994 .
Sol Swords, Warren A. Hunt, W. Hunt, 2010, ITP.
Warren A. Hunt, W. Hunt, 1989, Journal of Automated Reasoning.
Matt Kaufmann, Warren A. Hunt, W. Hunt, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Jun Sawada, Warren A. Hunt, W. Hunt, 1999, IEEE Micro.
Warren A. Hunt, Anna Slobodova, Mertcan Temel, 2020, CAV.
Warren A. Hunt, Shilpi Goel, 2013, VSTTE.
Warren A. Hunt, 1994 .
Bishop Brock, Warren A. Hunt, W. Hunt, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Matt Kaufmann, Warren A. Hunt, Shilpi Goel, 2013, ACL2.
Marly Roncken, Ivan E. Sutherland, Matt Kaufmann, 2018, 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Bishop C. Brock, Warren A. Hunt, W. Hunt, 1991, COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.
Warren A. Hunt, Erik Reeber, W. Hunt, 2007 .
Warren A. Hunt, 1994, Lecture Notes in Computer Science.
Bishop C. Brock, Warren A. Hunt, 1990 .
Warren A. Hunt, Herbert B. Voelcker, H. Voelcker, 1981 .
Jun Sawada, Warren A. Hunt, W. Hunt, 1997, CAV.
Warren A. Hunt, 2002, Formal Methods Syst. Des..
J. Strother Moore, Warren A. Hunt, J. S. Moore, 1989, Journal of Automated Reasoning.
William Adams, Warren A. Hunt, Damir Jamsek, 2003, Formal Methods Syst. Des..
Sandip Ray, Warren A. Hunt, William D. Young, 2008, 2008 Formal Methods in Computer-Aided Design.
Warren A. Hunt, Mertcan Temel, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Bishop C. Brock, Warren A. Hunt, Ken Albin, 1995 .
Warren A. Hunt, Erik Reeber, 2006 .