Сompilations method and semantic verification time parameterized of multiparallel programs

Abstract

It provides definitions vremyaparametrizovannyh multiparallelnyh programs that (in contrast to the conventional treatment of parallel programs) contain moments of the start of operations specifications / features, as well as a subset of such operations / functions. The necessity of development of new methods of verification vremyaparametrizovannyh parallel programs. Reveals the stages of solving the problem, a compilation of semantic verification vremyaparametrizovannyh multiparallelnyh programs for the creation of automated synthesis systems, high-performance parallel programs for computing systems of various classes. We present an example illustrating the basic steps of the method.