Моделирование и верификация параллельных программдоклад на конференции