Статья посвящена проблемам верификации компьютерной визуализации на базе формальных или формализованных подходов. Верификация (проверка правильности) визуализации подразумевает наличие формальной модели, которая отличается от подобных моделей для слабо формализуемых явлений (например, от формальной верификации программного обеспечения), по большому счету, только предметной областью. В статье отражены возможные подходы к формированию моделей визуализации. Подробно рассмотрено применение множественного (бинарного) вида отображения для трех задач в области научной визуализации, информационной визуализации и визуализации программного обеспечения. Также рассматриваются возможности формализация визуализации и параллельной фильтрации данных на основе лингвистического и семиотического подходов.