Научный подход: Визуализация формальных моделей