РАЗВИТИЕ МЕТОДОВ ВЕРИФИКАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АСУ ТП АЭС НА БАЗЕ ТПТС (Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, 2019)