Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel.
Lihao LiangPaul E. McKenneyDaniel KroeningTom MelhamPublished in: CoRR (2016)
Keyphrases
- linux kernel
- operating system
- software systems
- source code
- clone detection
- model checking
- analysis tool
- open source
- formal verification
- machine learning
- software evolution
- coarse to fine
- file system
- data mining
- face verification
- formal methods
- database
- multi agent
- binary tree
- signature verification
- database systems
- asynchronous circuits
- neural network