Why There is no General Solution to the Problem of Software Verification

Overview of attention for article published in Foundations of Science, June 2019

Altmetric Badge

About this Attention Score

Good Attention Score compared to outputs of the same age (70th percentile)
Good Attention Score compared to outputs of the same age and source (70th percentile)

So far, Altmetric has seen 8 X posts from 8 X users, with an upper bound of 13,741 followers.

RT @johnfsymons: Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software…

RT @johnfsymons: Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software…

RT @johnfsymons: Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software…

RT @johnfsymons: Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software…

This is a really great paper

RT @johnfsymons: Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software…

Ever wonder why software verification is so hard? Check out: "Why There is no General Solution to the Problem of Software Verification" in Foundations of Science. https://t.co/aZaoghYLwO @philosoreddit @HaPoComputing @gprimiero #softwareverification