Answers are grounded in this paper and cite their sources.
Interest in proving the correctness of programs has grown explosively within the last two or three years. There are now over a hundred people pursuing research on this general topic; most of them are relative newcomers to the field. At least three reasons can be cited for this rapid growth:
No takes yet. Share an insight, caveat, or question.
Theodore A. Linden (1972) studied this question.