Katherine R. Kohatsu

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Roope Kaivola, Katherine R. Kohatsu
Proof engineering in the large: formal verification of Pentium?4 floating-point divider. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Roope Kaivola, Katherine R. Kohatsu
4 Floating-Point Divider. CHARME (2001)
Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger
Formal verification of iterative algorithms in microprocessors. DAC (2000)