Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: Is the formal methods winter about to end?. Parent comment
The Airbus fly-by-wire code (~100 KLOC) can be statically verified in about an hour with a modern PC.
This is not a formal proof, but it excludes entire classes of runtime errors such as de-referencing a null pointer.
There are no comments on this comment yet.
The Airbus fly-by-wire code (~100 KLOC) can be statically verified in about an hour with a modern PC.
This is not a formal proof, but it excludes entire classes of runtime errors such as de-referencing a null pointer.