Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov. Runtime Verification of Operating Systems Based on Abstract Models. Programming and Computer Software, 49(7):559-565, December 2023. [doi]
Abstract is missing.