Korotkov

During testing finite discrete models to avoid constraints of available memory, parallel generation and distributed storage of state space can be used. The efficiency of such an approach depends on the choice of the state distribution function between computational nodes. The article considers the choice of this function, which allowed reducing the validation time at the expense of the number of removed callings between the nodes. The experiment results obtained with the help of the prototype of the tool for model validation are included in the article.