Описывается методика комплексной формальной верификации Си-программ и их временных параллельных моделей, основанная на применении структур числовой спецификации данных и их обработке с учетом единиц измерения физических величин. Приводятся результаты семантико-числовой спецификации Си-программ и временных мультипараллельных моделей, адекватных различным требованиям/ограничениям и поддерживающих сочетания различных методов параллельной обработки данных. Ключевые слова: мультипараллельная обработка данных, компиляционная методика верификации, семантическая верификация, структуры семантико-числовой спецификации.
