@misc{indiciae71eb844e91ec,
  title = {Agent-Driven Verification of Memory Safety for liblzma Decoder Components with VST},
  author = {Prokhor Shlyakhtun and Alexander Gryzlov and Vladimir Kukharenko and Vasilii Nesterov and Nikolai Vasiliev and Kirill Ziborov and Eugene Zolotarev and Alex Pokras},
  year = {2026},
  url = {https://arxiv.org/abs/2608.29716},
  note = {Source identifier: 2608.29716}
}