Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke Steven M. German Xudong Zhao Verifying the SRT Division Algorithm Using Theorem Proving Techniques. 111-122 1996 conf/cav/1996 CAV db/conf/cav/cav96.html#ClarkeGZ96 http://dx.doi.org/10.1007/3-540-61474-5_62