Актуальной является задача проектирования безопасных смарт-контрактов. Их логика может быть смоделирована с помощью конечных автоматов, для которых существуют методы генерации на основе спецификации. В данной работе исследуется применимость данных методов для синтеза моделей смарт-контрактов.

Суворов Д.М., Ульянцев В.И. (науч. рук. Ульянцев В.И.) Использование методов синтеза конечных автоматов для автоматической генерации моделей смарт-контрактов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/1477