Verification of Tree−Based Hierarchical Read−Copy Update in the Linux Kernel
Lihao Liang‚ Paul E. McKenney‚ Daniel Kroening and Tom Melham
Book Title
2018 Design‚ Automation & Test in Europe Conference & Exhibition‚ DATE 2018‚ Dresden‚ Germany‚ March 19–23‚ 2018
Editor
Jan Madsen and Ayse K. Coskun
ISBN
978−3−9819263−1−6
ISSN
1558−1101
Pages
61–66
Publisher
European Design and Automation Association
Year
2018