-
Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集
2025年12月15日 30 128 106
数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
2025年12月15日 30 128 106
