A Formal Model for the Block Device Subsystem of the Linux Kernel.

Peter T. Breuer

Published in: ICFEM (2003)

Keyphrases

formal model
linux kernel
operating system
source code
software systems
clone detection
open source
file system
software evolution
analysis tool
formal models
machine learning
distributed systems
databases
computer systems
predicate calculus