Los puntos clave no están disponibles para este artículo en este momento.
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.