Y
Hacker News
new
|
ask
|
show
|
jobs
Formal verification of the long division algorithm
(
cofault.com
)
2 points
by
oecumena
482 days ago
1 comments
oecumena
482 days ago
Manual derivation of Hoare-triples for the long division algorithm verification.
link