> it’s probably impossible to not have false positives It's possible to have no ...

		SkiFire13 39 days ago \| parent \| context \| favorite \| on: How to train your program verifier > it’s probably impossible to not have false positives It's possible to have no false positives or no false negatives, but it can be proven it's impossible to have neither of them.