3 ms·
> the cost is a huge blocker. It is. Formal verification is and will be (for a very long time) a thing you only do for airplanes and nuclear reactors.
by muldvarp 2y ago
> the cost is a huge blocker.
It is. Formal verification is and will be (for a very long time) a thing you only do for airplanes and nuclear reactors.