Verified formally, tested, audited, and whatever else we can throw at it. | Hacker News

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

dllthomas on April 21, 2014 | parent | context | favorite | on: The Case for Formal Verification (2013)

Verified formally, tested, audited, and whatever else we can throw at it.

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