3 ms·
Formal verification is all very well, but I find in practice that a lot of the worst problems are specification problems "of course it wasn't meant to do that"
by jbb555 13y ago
Formal verification is all very well, but I find in practice that a lot of the worst problems are specification problems "of course it wasn't meant to do that"