@misc{indiciaefc18f6c3060e,
  title = {Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy},
  author = {Eden Frenkel and Kenneth L. McMillan and Oded Padon and Sharon Shoham},
  year = {2026},
  doi = {10.1145/3808341},
  url = {https://arxiv.org/abs/2604.15266},
  note = {Source identifier: 2604.15266}
}