3 ms·
So if I find a bug or security bug does this speak to the usefulness of the formal verification claim?
by alexnewman 11mo ago
So if I find a bug or security bug does this speak to the usefulness of the formal verification claim?
loading thread…