@misc{indiciaedf9f23a54ba5,
  title = {Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)},
  author = {Aurèle Barrière and Victor Deng and Clément Pit-Claudel},
  year = {2026},
  url = {https://arxiv.org/abs/2507.13091},
  note = {Source identifier: 2507.13091}
}