< Strategy AutoProof Code Repository Tree Maximum >

Sum and max

Category: Algorithm

Source: VSTTE'10

Description

Given an array of integers, verify a program that computes the sum and the maximum of the elements in the array.

download source

Code