Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Memory Model for Deductively Verifying Linux Kernel Modules.

M. Mandrykin, and A. Khoroshilov. Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 256-275. Springer, (2017)

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.

Dr. Alexey Lapin University of Stuttgart

V. Vaikuntanathan

V. Zaverkin

Michael P. Voigt Universität Stuttgart

Wolfgang Vogel

Other publications of authors with the same name

Pattern-based environment modeling for static verification of Linux kernel modules.I. Zakharov, V. Mutilin, and A. Khoroshilov. Programming and Computer Software, 41 (3): 183-195 (2015)Region analysis for deductive verification of C programs.M. Mandrykin, and A. Khoroshilov. Programming and Computer Software, 42 (5): 257-278 (2016)Configurable toolset for static verification of operating systems kernel modules.I. Zakharov, M. Mandrykin, V. Mutilin, E. Novikov, A. Petrenko, and A. Khoroshilov. Programming and Computer Software, 41 (1): 49-64 (2015)Deductive Verification of Unmodified Linux Kernel Library Functions.D. Efremov, M. Mandrykin, and A. Khoroshilov. ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 216-234. Springer, (2018)Integrating AADL-Based Tool Chain into Existing Industrial Processes.A. Khoroshilov, I. Koverninskiy, A. Petrenko, and A. Ugnenko. ICECCS, page 367-371. IEEE Computer Society, (2011)Towards an Open Framework for C Verification Tools Benchmarking.A. Khoroshilov, V. Mutilin, E. Novikov, P. Shved, and A. Strakh. Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 179-192. Springer, (2011)High-level memory model with low-level pointer cast support for Jessie intermediate language.M. Mandrykin, and A. Khoroshilov. Programming and Computer Software, 41 (4): 197-207 (2015)Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols.N. Pakulin, and A. Khoroshilov. Programming and Computer Software, 33 (6): 316-335 (2007)Automated Formal Testing of C API Using T2C Framework.A. Khoroshilov, V. Rubanov, and E. Shatokhin. ISoLA, volume 17 of Communications in Computer and Information Science, page 56-70. Springer, (2008)Open Source Certification and Educational Process.A. Khoroshilov. ECEASST, (2009)