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.
No takes yet. Share an insight, caveat, or question.
Henke et al. (1975) studied this question.