I think it’s just fairly rare that formal verification is valuable to a business. Obviously all software benefits from correctness — but we all know that softw

I think it’s just fairly rare that formal verification is valuable to a business. Obviously all software benefits from correctness — but we all know that software certainly doesn’t need to be bug-free to make money! And if the benefits of formal verification don’t outweigh the (non-trivial!) costs — and critically, outweigh them in a business-person-legibile way — then people won’t put up the time and effort.