@misc{indiciae0e7177cef043,
  title = {Sound Gradual Verification with Symbolic Execution},
  author = {Conrad Zimmerman and Jenna DiVincenzo and Jonathan Aldrich},
  year = {2023},
  doi = {10.1145/3632927},
  url = {https://arxiv.org/abs/2311.07559},
  note = {Source identifier: 2311.07559}
}