@misc{indiciaecf0dd037df34,
  title = {KATch: A Fast Symbolic Verifier for NetKAT},
  author = {Mark Moeller and Jules Jacobs and Olivier Savary Belanger and David Darais and Cole Schlesinger and Steffen Smolka and Nate Foster and Alexandra Silva},
  year = {2024},
  doi = {10.1145/3656454},
  url = {https://arxiv.org/abs/2404.04760},
  note = {Source identifier: 2404.04760}
}