3 ms·
> could be hardened through formal verification Yeah... but that only works by you verifying your assumptions. If your assumptions are wrong, you remain screwe
by throwaway_pdp09 6y ago
> could be hardened through formal verification
Yeah... but that only works by you verifying your assumptions. If your assumptions are wrong, you remain screwed. I'm all for it but it's not perfection.