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 jahewson on Sunday April 20, 2014 @08:16PM (#7619001)
There's some academic work in this area under the name of "proof-carrying code": http://en.m.wikipedia.org/wiki/Proof-carrying_code
[ Parent | on HN ]

There are no comments on this comment yet.