SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule.

Michele Castrovilli Enrico Bini

Published in: ECRTS (2024)

Keyphrases

temporal properties
linux kernel
model checking
operating system
software systems
source code
formal methods
scheduling problem
possibility theory
analysis tool
clone detection
file system
software evolution
neural network
formal specification
data model
artificial intelligence
genetic algorithm