@misc{indiciaea4f75daeb757,
  title = {Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens},
  author = {Bengt Jonsson and Magnus Lång and Konstantinos Sagonas},
  year = {2022},
  url = {https://arxiv.org/abs/2208.09259},
  note = {Source identifier: 2208.09259}
}