@misc{indiciaec20f48580fae,
  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 = {2018},
  doi = {10.23919/date.2018.8341980},
  url = {https://arxiv.org/abs/1610.03052},
  note = {Source identifier: 1610.03052}
}