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 dkarapetyan on Sunday April 20, 2014 @09:34PM (#7619258)
Why not? Each of those things can be treated as black boxes with well-defined interfaces.
[ Parent | on HN ]

There are no comments on this comment yet.