Key points are not available for this paper at this time.
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.