Непомнящий Валерий Александрович Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов верификация распределенных систем верификация программ сети Петри системы анализа и верификации спецификация программ семантика программ Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — заведующий лабораторией Адрес электронной почты vnep@iis.nsk.su
Визовитин Н.В., Непомнящий В.А., Стененко А.А. Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри // Системная информатика. — 2016. — № 7. — С. 11-22
Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // Системная информатика. — 2017. — № 10. — С. 57-66
