Zobrazeno 1 - 1
of 1
pro vyhledávání: '"правило использования программных интерфейсов"'
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
