Верификация распределенных программ в системе имитационного моделирования DYANAтезисы доклада