Modular Verification of Recursive Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some…