Verification of tree-based hierarchical read-copy update in the Linux kernel.

Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham

Browse the full DATE paper archive.