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.
Sol Swords
A grouping.
Sol Swords, Centaur Technology: the ACL2 side of industrial x86 verification - bit-blasting ACL2 theorems, verified AIG algorithms, microcode proofs, and the Centaur framework papers with Hunt, Davis and Slobodova.
6 references
Meta-extract: Using Existing Facts in Meta-reasoning
Matt Kaufmann and others (2017) · Proceedings of the 14th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2017)
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