TY  CONF
TI  OPERATING SYSTEM RESILIENCE MODELS TO RARE RACE CONDITIONS
KW  rare races
KW  operating systems
KW  stochastic verification
KW  Markov chains
KW  kernel resilience
JO  MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2026
AU  Golovin, V.A.
AU  Kandaurov, I.A.
AU  Alekseev, V.R.
PY  2026
PB  FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov