Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke, Steven M. German, Xudong Zhao

Browse the full CAV paper archive.