Understanding Linux-Kernel Code Through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core

Lawall, Julia; Lozi, Jean-Pierre; NISHIMURA, Keisuke

doi:10.5281/zenodo.16842821

Published October 14, 2025 | Version v1

Dataset Open

Understanding Linux-Kernel Code Through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core

1. Institut national de recherche en informatique et en automatique

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.

Files

artifact.zip

Files (68.7 kB)

Name	Size	Download all
artifact.zip md5:6b03ee56eb859518e60040237fb4a9a2	68.7 kB	Preview Download

Additional details

Agence Nationale de la Recherche
EMASS

Views

Downloads

Show more details

	All versions	This version
Views	87	87
Downloads	12	12
Data volume	824.1 kB	824.1 kB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

Conference

OlivierFest 2025 , Singapore, 14-15 October 2025

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more; Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: August 16, 2025
Modified: August 16, 2025

Understanding Linux-Kernel Code Through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core

Authors/Creators

Description

Files

artifact.zip

Files (68.7 kB)

Additional details

Funding