Key points are not available for this paper at this time.
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:
Theodore A. Linden (Sat,) studied this question.