Concepedia

David M. Russinoff

DM

5

Publications

317

Citations

5

H-Index

1992

Active since

Affiliations

Language Computer (United States)(Current)

David M. Russinoff is an author at Language Computer (United States) specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningCompilersVerificationCircuit DesignHardware SystemsHardware Security

Publications per year

1992–1999

5

Publications

5

A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor

David M. Russinoff · LMS Journal of Computation and Mathematics · 1998 · 166 citations · Full text

Engineering, Hardware Verification Language, Verification +21

A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode

David M. Russinoff · Formal Methods in System Design · 1999 · 62 citations

A mechanically verified incremental garbage collector

David M. Russinoff · Formal Aspects of Computing · 1994 · 55 citations

A verified prolog compiler for the Warren Abstract Machine

David M. Russinoff · The Journal of Logic Programming · 1992 · 24 citations

Computational Logic, Verified Prolog Compiler, Engineering +7

A formalization of a subset of VHDL in the Boyer-Moore logic

David M. Russinoff · Formal Methods in System Design · 1995 · 10 citations

Computational Logic, Boyer-moore Logic, Engineering +8

Rows per page

1–5 of 5