( en | de | ru )

 

Disambiguation of "Khoroshilov, Alexey V."

Author of the publication

copydeleteadd this publication to your clipboard
Towards an Open Framework for C Verification Tools Benchmarking.

, , , , and . Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Alexey Dashevsky

Alexey Mikaberidze

Alexey Shaytan

Alexey Pryakhin

Alexey Kopyshev

 

Other publications of authors with the same name

Pattern-based environment modeling for static verification of Linux kernel modules., , and . Program. Comput. Softw., 41 (3): 183-195 (2015)Region analysis for deductive verification of C programs., and . Program. Comput. Softw., 42 (5): 257-278 (2016)Towards an Open Framework for C Verification Tools Benchmarking., , , , and . Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 179-192. Springer, (2011)Configurable toolset for static verification of operating systems kernel modules., , , , , and . Program. Comput. Softw., 41 (1): 49-64 (2015)Integrating AADL-Based Tool Chain into Existing Industrial Processes., , , and . ICECCS, page 367-371. IEEE Computer Society, (2011)Deductive Verification of Unmodified Linux Kernel Library Functions., , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 216-234. Springer, (2018)Automated Formal Testing of C API Using T2C Framework., , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 56-70. Springer, (2008)Formal Methods in Industrial Software Standards Enforcement., , , , , and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 456-466. Springer, (2006)High-level memory model with low-level pointer cast support for Jessie intermediate language., and . Program. Comput. Softw., 41 (4): 197-207 (2015)Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols., and . Program. Comput. Softw., 33 (6): 316-335 (2007)