@article{Liang:2016:VTH,
  title = "Verification of the Tree-Based Hierarchical Read-Copy Update in the {Linux} Kernel",
  author = "Lihao Liang and Paul E. McKenney and Daniel Kroening and Tom Melham",
  year = "2016",
  journal = "arXiv Computing Research Repository",
  month = "October",
  volume = "arXiv:1610:03052 [cs.LO]",
}