News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by AlexCoventry on Saturday December 30, 2017 @10:13PM (#16039145)
I think ten years is an extremely conservative estimate, since he's giving real-world examples in the talk.
[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by throwaway2048 on Sunday December 31, 2017 @02:52AM (#16039810)
They had real world examples of formally verified code in 1983 too.
[ Parent | on HN ]