David M. Russinoff

Available identifiers

zbMath Open russinoff.david-mMaRDI QIDQ1187852

List of research outcomes

Publication	Date of Publication	Type
Formal Verification of Floating-Point Hardware Design	2021-10-26	Paper
Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables	2017-07-12	Paper
A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve	2017-05-02	Paper
A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor	1999-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4873998	1996-08-18	Paper
A mechanically verified incremental garbage collector	1996-02-26	Paper
A verification system for concurrent programs based on the Boyer-Moore prover	1993-02-04	Paper
A verified prolog compiler for the Warren Abstract Machine	1992-11-10	Paper
A mechanical proof of quadratic reciprocity	1992-07-23	Paper
An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David M. Russinoff