( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling Environment for Static Verification of Linux Kernel Modules.

, , , и . Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 400-414. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Olga Iljassova-Morger

Maxim Zakharov

Vasily Zakharov

Andrey Zakharov

Dmitry Zakharov

 

Другие публикации лиц с тем же именем

Towards Automated Static Verification of GNU C Programs., и . Ershov Informatics Conference, том 10742 из Lecture Notes in Computer Science, стр. 402-416. Springer, (2017)Pattern-based environment modeling for static verification of Linux kernel modules., , и . Program. Comput. Softw., 41 (3): 183-195 (2015)Klever: Verification Framework for Critical Industrial C Programs., , и . CoRR, (2023)Modeling Environment for Static Verification of Linux Kernel Modules., , , и . Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 400-414. Springer, (2014)Configurable toolset for static verification of operating systems kernel modules., , , , , и . Program. Comput. Softw., 41 (1): 49-64 (2015)Verification of Operating System Monolithic Kernels Without Extensions., и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 230-248. Springer, (2018)