Zobrazeno 1 - 5
of 5
pro vyhledávání: '"модель окружения"'
Autor:
I. S. Zakharov, E. M. Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 6, Pp 25-48 (2018)
Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications. The given feature form a basis of the sug
Externí odkaz:
https://doaj.org/article/8ca3c360c1714259bf799ed4b16b7f40
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://doaj.org/article/c6ce8def99fd4d52824de9d3f77563c9
Autor:
E. M. Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
Nowadays static verification is one of the most promising methods for finding bugs in programs. To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification. Such verification needs an environment model th
Externí odkaz:
https://doaj.org/article/ad36d8d695cd48b08341604a9834d1af
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d959e66dd8c3e223fdcadc18cff7434e
https://doi.org/10.15514/ispras-2014-26(2)-1
https://doi.org/10.15514/ispras-2014-26(2)-1
Publikováno v:
Труды Института системного программирования РАН.
Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и производительности программную систему. Качество
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::d9c78a7ac3356a35edcd6232f8a19539
http://cyberleninka.ru/article/n/konfiguriruemaya-sistema-staticheskoy-verifikatsii-moduley-yadra-operatsionnyh-sistem
http://cyberleninka.ru/article/n/konfiguriruemaya-sistema-staticheskoy-verifikatsii-moduley-yadra-operatsionnyh-sistem