Verification of tree-based hierarchical read-copy update in the Linux kernel.

Lihao Liang Paul E. McKenney Daniel Kroening Tom Melham

Published in: DATE (2018)

Keyphrases

linux kernel
operating system
source code
software systems
analysis tool
open source
clone detection
hierarchical model
model checking
high level
face verification
case study
software evolution
data management
concurrency control
artificial intelligence
formal verification
neural network
database