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 sliverstorm on Sunday April 20, 2014 @07:24PM (#7618866)
Cool! I do hardware, I guess software is probably easier to compute.
[ Parent | on HN ]
Re:The Case for Formal Verification (2013) by betterunix on Sunday April 20, 2014 @07:40PM (#7618906)
Ah, you might have been thinking of techniques basic on SAT and ATPG solving. What makes software different is this:

https://en.wikipedia.org/wiki/Curry-Howard_Correspondence

Basically, checking a proof of correctness for software is equivalent to type checking (for a very fancy type system).

[ Parent | on HN ]