2 ms·
you'll still only be as correct as your formal proofs (e.g. using formal proofs isn't a replacement for fuzzing)
by DyslexicAtheist 6y ago
you'll still only be as correct as your formal proofs (e.g. using formal proofs isn't a replacement for fuzzing)
- e79 6y agoOn the other hand, fuzzing is only as “correct” as your coverage, properties/assertions, corpus synthesis, etc.