Understanding Linux-Kernel Code Through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core
收藏官方服务：
资源简介：
This is the code and specifications used in the experiments described in the paper "Understanding Linux-Kernel Code Through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core" published at OlivierFest 2025.
提供机构：
Zenodo创建时间：
2025-08-16
