Modeling Environment for Static Verification of Linux Kernel Modules. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Ilja S. Zakharov (Ershov Memorial Conference, 2014)

Pattern-based environment modeling for static verification of Linux kernel modules. - Ilja S. Zakharov; Vadim S. Mutilin; Alexey V. Khoroshilov (Program. Comput. Softw., 2015)

Configurable toolset for static verification of operating systems kernel modules. - Ilja S. Zakharov; Mikhail U. Mandrykin; Vadim S. Mutilin; Evgeny Novikov; Alexander K. Petrenko; Alexey V. Khoroshilov (Program. Comput. Softw., 2015)

Towards Automated Static Verification of GNU C Programs. - Evgeny Novikov; Ilja S. Zakharov (Ershov Informatics Conference, 2017)

Verification of Operating System Monolithic Kernels Without Extensions. - Evgeny Novikov; Ilja S. Zakharov (ISoLA (4), 2018)

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