Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dmitry V. Koznov"'
Autor:
Aleksandr V. Misonizhnik, Yurii O. Kostyukov, Michael P. Kostitsyn, Dmitry A. Mordvinov, Dmitry V. Koznov
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 22, Iss 5, Pp 982-991 (2022)
Symbolic execution is a widely used method for the systematic study of program execution paths; it allows solving a number of important problems related to verification of correctness: searching for errors and vulnerabilities, automatic test generati
Externí odkaz:
https://doaj.org/article/747bb1f0ad2f499580feb3fa307d2544
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 22, Iss 3, Pp 517-527 (2022)
Memory models define semantics of concurrent programs operating on shared memory. Theory of these models is an active research topic. As new models emerge, the problem of providing a rigorous formal specification of these models becomes relevant. In
Externí odkaz:
https://doaj.org/article/d528d5ddc2704d88ba0c0367188f3ac8