John W. O'Leary
3 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.
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.
John W. O'Leary
John W. O'Leary, Intel: industrial formal verification - IEEE floating-point compliance (1999), Xs for trajectory evaluation vs Booleans for theorem proving, and algorithms modelled in SystemC and ACL2.
Modeling Algorithms in SystemC and ACL2
John W. O'Leary and others (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Mark D. Aagaard and others (1999) · Correct Hardware Design and Verification Methods (CHARME '99) · Springer-Verlag
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary and others (1999) · Intel Technology Journal