3 ms·
I wonder to what extent formal verification methods are being employed in the development of these kinds of things.
by csh0 2y ago
I wonder to what extent formal verification methods are being employed in the development of these kinds of things.
- cypherpunks01 2y agoFrom 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..