Создаем систему формальной верификации смарт-контрактов Waves с нуля. Часть 1: пишем символьную виртуальную машинуhttps://habr.com/ru/post/450016/?utm_campaign=450016