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