top | item 40308283 (no title) csh0 | 1 year ago I wonder to what extent formal verification methods are being employed in the development of these kinds of things. discuss order hn newest cypherpunks01|1 year ago From the look of these bugs, like this one but especially the other race condition bug that suggested 10x the user's input dosage, I'm gonna go out on a limb and say formal verification appears to be used little or none..
cypherpunks01|1 year ago From the look of these bugs, like this one but especially the other race condition bug that suggested 10x the user's input dosage, I'm gonna go out on a limb and say formal verification appears to be used little or none..
cypherpunks01|1 year ago