@misc{indiciae88278daee9e2,
  title = {Automata-Based Software Model Checking of Hyperproperties},
  author = {Bernd Finkbeiner and Hadar Frenkel and Jana Hofmann and Janine Lohse},
  year = {2023},
  url = {https://arxiv.org/abs/2303.14796},
  note = {Source identifier: 2303.14796}
}