@online{keles2025verification,
  author = {Alperen Keles},
  title = {Verification is Not the Silver Bullet},
  year = {2025},
  url = {https://alperenkeles.com/posts/verification-is-not-the-silver-bullet/},
  note = {Archived at \url{https://web.archive.org/web/https://alperenkeles.com/posts/verification-is-not-the-silver-bullet/}}
}