Построение модели среды исполнения смарт-контрактов в HOL4 для дедуктивной верификации свойствкурсовая работа (Специалист)