( 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.

Vadim Vogelsang

Vadim Alekseev

Vadim Azhmyakov

Vadim Korotkov

Vadim Kopzon

 

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

Checking Several Requirements at once by CEGAR., и . Ershov Memorial Conference, том 9609 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2015)cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution)., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 423-427. Springer, (2021)Using linux device drivers for static verification tools benchmarking., , , , и . Program. Comput. Softw., 38 (5): 245-256 (2012)Checking several requirements at once by CEGAR., и . Program. Comput. Softw., 42 (4): 225-238 (2016)Towards an Open Framework for C Verification Tools Benchmarking., , , , и . Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 179-192. Springer, (2011)Predicate Analysis with BLAST 2.7 - (Competition Contribution)., , и . TACAS, том 7214 из Lecture Notes in Computer Science, стр. 525-527. Springer, (2012)Configurable toolset for static verification of operating systems kernel modules., , , , , и . Program. Comput. Softw., 41 (1): 49-64 (2015)On-the-fly decomposition of specifications in software model checking., , , , и . SIGSOFT FSE, стр. 349-361. ACM, (2016)Establishing Linux Driver Verification Process., , , и . Ershov Memorial Conference, том 5947 из Lecture Notes in Computer Science, стр. 165-176. Springer, (2009)Modeling Environment for Static Verification of Linux Kernel Modules., , , и . Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 400-414. Springer, (2014)