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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"