TY  - RPRT
TI  - Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
AU  - Robert J. Colvin
AU  - Ian J. Hayes
AU  - Scott Heiner
AU  - Peter Höfner
AU  - Larissa Meinicke
AU  - Roger C. Su
PY  - 2024
UR  - https://arxiv.org/abs/2407.20559
ID  - 2407.20559
ER  -