News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by dllthomas on Monday April 21, 2014 @06:35AM (#7620509)
Verified formally, tested, audited, and whatever else we can throw at it.
[ Parent | on HN ]

There are no comments on this comment yet.