Login / Signup
Dmitry Nadezhin
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Square Root
Formal Verification
Model Checker
Riemannian Manifolds
Top Venues
FMCAD
</>
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)