%0 Conference Article
%T OPERATING SYSTEM RESILIENCE MODELS TO RARE RACE CONDITIONS
%A Golovin, V.A.
%A Kandaurov, I.A.
%A Alekseev, V.R.
%K rare races, operating systems, stochastic verification, Markov chains, kernel resilience
%J MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2026
%D 2026
%P 5
%I FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov