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 munin on Sunday April 20, 2014 @10:57PM (#7619532)
you might be interested in this work: http://research.microsoft.com/pubs/176601/js-star.pdf
[ Parent | on HN ]

There are no comments on this comment yet.