Универсальный подход к проверке отношений симуляции для моделей программстатья