3 ms·
It's also not like you'd just give up on fuzzers because you have formally verified code. All the same tools should still be available, plus one more.
by nitrogen 6y ago
It's also not like you'd just give up on fuzzers because you have formally verified code. All the same tools should still be available, plus one more.