|
2026 Book Chapter Rely-Guarantee Verification of Queue Locks with Proof Support in Isabelle/HOLColvin, Robert J., Heiner, Scott, Höfner, Peter and Su, Roger C. (2026). Rely-Guarantee Verification of Queue Locks with Proof Support in Isabelle/HOL. Lecture Notes in Computer Science. (pp. 1-19) Cham: Springer Nature Switzerland. doi: 10.1007/978-3-032-27340-6_1 |
|
2024 Book Chapter Practical rely/guarantee verification of an efficient lock for seL4 on multicore architecturesColvin, Robert J., Hayes, Ian J., Heiner, Scott, Höfner, Peter, Meinicke, Larissa and Su, Roger C. (2024). Practical rely/guarantee verification of an efficient lock for seL4 on multicore architectures. The practice of formal methods: essays in honour of Cliff Jones, Part I. (pp. 65-87) edited by Ana Cavalcanti and James Baxter. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-66676-6_4 |
