engleski

Communication Based Design of Parallel Programs

IN this paper an approach for parallel program design based on protocol syinthesis methodology is described. The components of a parallel program are expressed as concurrent processes and analysed with a model checker, Modified protokol synthesis methodology is used for conversion from parallel virtual machine (PVM) into the PROMELA/SPIN model checker. Such approach yields verification of critical intertask communication in earlier development phase.

parallel program verification; model checking; PVM; SPIN; protocol syinthesis

nije evidentirano