Статья 445

Однако интенсивного развития направление временной верификации программ достигло в отношении параллельных программ, программ, состоящих из нескольких процессов, работающих одновременно и взаимодействующих между собой.

нескольких

нескольких


И этому есть причины. Для выяснения некоторых из них кратко остановимся на отличиях последовательных программ от параллельных, рассмотрев примеры тех и других.
Последовательная программа вычисления биномиального коэффициента для целых чисел и таких, что 0.
Вычисление биномиального коэффициента следует формуле.
Эта программа представляет собой вычислительный процесс с циклом пока, в ходе которого поочередно выполняются команды присваивания программным локальным переменным, переменным, которые меняют свои значения в течение выполнения программы, в отличие от глобальных переменных - в данном случае, которые не меняют своих значений в ходе выполнения программы.