Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная Схема это символьная информационная модель