David M. Russinoff

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 7

Top Topics

Proof Procedure

Formal Verification

Theoretical Foundation

Top Venues

Publications

David M. Russinoff
A Formalization of Finite Group Theory: Part II. CoRR (2023)
David M. Russinoff
A Formalization of Finite Group Theory: Part III. CoRR (2023)
David M. Russinoff
A Formalization of Finite Group Theory. ACL2 (2022)
David M. Russinoff
Properties of the Hebrew Calendar. ACL2 (2022)
David M. Russinoff, Javier Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju
Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. ARITH (2022)
David M. Russinoff
Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2. ACL2 (2020)
David M. Russinoff
A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve. ACL2 (2017)
John W. O'Leary, David M. Russinoff
Modeling Algorithms in SystemC and ACL2. ACL2 (2014)
David M. Russinoff
Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables. IEEE Trans. Computers 62 (5) (2013)
David M. Russinoff
A Mathematical Approach to RTL Verification. CAV (2007)
David M. Russinoff
Processor. FMCAD (2000)
David M. Russinoff
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode. Formal Methods Syst. Des. 14 (1) (1999)
David M. Russinoff
Processor. LMS J. Comput. Math. 1 (1998)
David M. Russinoff
A Formalization of a Subset of VHDL in the Boyer-Moore Logic. Formal Methods Syst. Des. 7 (1/2) (1995)
David M. Russinoff
A Mechanically Verified Incremental Garbage Collector. Formal Aspects Comput. 6 (4) (1994)
David M. Russinoff
A Verified Prolog Compiler for the Warren Abstract Machine. J. Log. Program. 13 (4) (1992)
David M. Russinoff
A Verification System for Current Programs Based on the Boyer-Moore Prover. Formal Aspects Comput. 4 (6A) (1992)
David M. Russinoff
A Mechanical Proof of Quadratic Reciprocity. J. Autom. Reason. 8 (1) (1992)
David M. Russinoff
An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson's Theorem. J. Autom. Reason. 1 (2) (1985)