This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jared Davis
A grouping.
Jared Davis, Centaur Technology: co-author of Centaur's ACL2 verification flow - its overview with Hunt, the industrial-scale framework, bit-blasting, verified AIG algorithms, and microcode verification.
5 references
Microcode Verification – Another Piece of the Microprocessor Verification Puzzle
Jared Davis and others (2014) · Lecture Notes in Computer Science · Springer International Publishing
Verified AIG Algorithms in ACL2
Jared Davis and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
A Flexible Formal Verification Framework for Industrial Scale Validation
Anna Slobodová and others (2011) · 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) · IEEE
Bit-Blasting ACL2 Theorems
Sol Swords and others (2011) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
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