1. An computer program product for automatically verifying determinism of a structured parallel program, the computer program product comprising: a computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising: computer readable program code configured to sequentially establish whether code for each of a plurality of tasks of the structured parallel program is independent; computer readable program code configured to output sequential proofs corresponding to the independence of the code for each of the plurality of tasks; and computer readable program code configured to determine whether all memory locations accessed by parallel tasks of the plurality of tasks are independent based on the sequential proofs.