So the ones that aren't edge cases can still benefit greatly, rather than not at... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Groxx on Feb 14, 2020 \| parent \| context \| favorite \| on: The Business Case for Formal Methods So the ones that aren't edge cases can still benefit greatly, rather than not at all.

TuringTest on Feb 18, 2020 [–]

What good is applying formal verification software to have proof that part of your input behaves properly, but edge cases are not proven? This is already what test cases do.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact