Formal Specification of a Security Framework for Smart Contracts. - Mikhail Mandrykin; Jake O'Shannessy; Jacob Payne; Ilya Shchepetkov (FM Workshops (1), 2019)

Klever: Verification Framework for Critical Industrial C Programs. - Ilja S. Zakharov; Evgeny Novikov; Ilya Shchepetkov (CoRR, 2023)