Formal verification of the long division algorithm

cofault.com

2 pointsoecumena1 comment

Manual derivation of Hoare-triples for the long division algorithm verification.