Part 2. Mathematics and Computer Science

Process approach to modeling and verification of parallel programs

A. M. Mironov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: The report presents a new mathematical model of parallel programs and gives an example of its application for verification of a parallel program for matrix multiplication.

Keywords: parallel programs, distributed processes, verification.