News for hackers. Stuff that matters.

A comment on A400M Airbus Flier crashed because of software issues. Parent comment

Re:A400M Airbus Flier crashed because of software issues by tedunangst on Tuesday May 19, 2015 @09:42AM (#9569937)
What is the largest piece of code you have formally verified?
[ Parent | on HN ]

There are no comments on this comment yet.