Los puntos clave no están disponibles para este artículo en este momento.
The paper investigates methods for applying an online interactive verification system designed to prove properties of PASCAL programs. The methodology provides techniques for developing a debugged and verified version starting from an incomplete program.
Henke et al. (Wed,) studied this question.