@misc{indiciaecff5dd84a6dc,
  title = {Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking},
  author = {Alessandro Cimatti and Alberto Griggio and Gianluca Redondi},
  year = {2024},
  url = {https://arxiv.org/abs/2403.00087},
  note = {Source identifier: 2403.00087}
}