Verification of tree-based hierarchical read-copy update in the Linux kernel. - Liang, Lihao; McKenney, Paul E.; Kroening, Daniel; Melham, Tom (2018)