@misc{indiciae525fe483f4dc,
  title = {Modal Verification Patterns for Systems Software},
  author = {Ismail Kuru and Colin S. Gordon},
  year = {2025},
  url = {https://arxiv.org/abs/2506.01719},
  note = {Source identifier: 2506.01719}
}