@misc{indiciae8850fb2289b5,
  title = {Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures},
  author = {Robert J. Colvin and Ian J. Hayes and Scott Heiner and Peter Höfner and Larissa Meinicke and Roger C. Su},
  year = {2024},
  url = {https://arxiv.org/abs/2407.20559},
  note = {Source identifier: 2407.20559}
}