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