Verification of Object-Oriented Programs: a Transformational Approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Ruediger Olderog +1

We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-…