( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards an Open Framework for C Verification Tools Benchmarking.

, , , , и . Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 179-192. Springer, (2011)

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.

Alexey Dashevsky

Alexey Mikaberidze

Alexey Shaytan

Alexey Lomonosov

Alexey Novikov

 

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

Region analysis for deductive verification of C programs., и . Program. Comput. Softw., 42 (5): 257-278 (2016)Towards an Open Framework for C Verification Tools Benchmarking., , , , и . Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 179-192. Springer, (2011)Configurable toolset for static verification of operating systems kernel modules., , , , , и . Program. Comput. Softw., 41 (1): 49-64 (2015)Integrating AADL-Based Tool Chain into Existing Industrial Processes., , , и . ICECCS, стр. 367-371. IEEE Computer Society, (2011)Deductive Verification of Unmodified Linux Kernel Library Functions., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 216-234. Springer, (2018)Using Refinement in Formal Development of OS Security Model., , , , и . Ershov Memorial Conference, том 9609 из Lecture Notes in Computer Science, стр. 107-115. Springer, (2015)Using linux device drivers for static verification tools benchmarking., , , , и . Program. Comput. Softw., 38 (5): 245-256 (2012)Model-Based Testing of Safety Critical Real-Time Control Logic Software, и . MBT, том 80 из EPTCS, стр. 130-144. (2012)A Memory Model for Deductively Verifying Linux Kernel Modules., и . Ershov Informatics Conference, том 10742 из Lecture Notes in Computer Science, стр. 256-275. Springer, (2017)High-level memory model with low-level pointer cast support for Jessie intermediate language., и . Program. Comput. Softw., 41 (4): 197-207 (2015)