Математическое моделирование равновесной кристаллизации базитовых расплавов – верификация программы Криминалтезисы доклада