The examples in this folder are from the ParTypes: http://gloss.di.fc.ul.pt/ParTypes

Paper:
Protocol-Based Verification of Message-Passing Parallel Programs
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida

Downloaded from:
http://download.gloss.di.fc.ul.pt/ParTypes/ParTypes.zip


parallel_dot.c			original MPI program that computes dot product			80
parallel_dot-CIVL.c		annotated for verification with CIVL					10
parallel_dot.prot		the protocol used for verification with ParTypes			13
parallel_dot-annotated.c	annotated with VCC syntax for verification with ParTypes	50

