Dmitry Nadezhin

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Riemannian Manifolds

Top Venues

Publications

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge
Formal verification of division and square root implementations, an Oracle report. FMCAD (2016)