News for hackers. Stuff that matters.

A comment on Ask HN: Is the formal methods winter about to end?.

Re:Ask HN: Is the formal methods winter about to end? by AnimalMuppet on Saturday September 18, 2021 @06:32PM (#28579960)
Define "winter". Is it defined by funding, or by real-world results?

If funding, then maybe. You point to some promising signs.

If real world results, then it may thaw... slightly. Formal methods are not going to become very mainstream, though, unless they scale linearly with code base size. Real world code bases are too big for anything else.

[ Parent | on HN ]
Re:Ask HN: Is the formal methods winter about to end? by yarnton99 on Saturday September 18, 2021 @07:28PM (#28580285)
Some things like abstract interpretation scale quite well.

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.

[ Parent | on HN ]