@misc{indiciaeb26fcae82cb5,
  title = {Bit-Vector Abstractions to Formally Verify Quantum Error Detection \& Entanglement},
  author = {Arun Govindankutty},
  year = {2026},
  doi = {10.1109/dcas69364.2026.11544428},
  url = {https://arxiv.org/abs/2603.13554},
  note = {Source identifier: 2603.13554}
}