Article,
KATch: A Fast Symbolic Verifier for NetKAT.
M. Moeller, J. Jacobs, O. Bélanger, D. Darais, C. Schlesinger, S. Smolka, N. Foster, and A. Silva.Proc. ACM Program. Lang., 8 (PLDI): 1905-1928 (2024)
Meta data
- BibTeX key
- journals/pacmpl/MoellerJBDSSFS24
- entry type
- article
- year
- 2024
- journal
- Proc. ACM Program. Lang.
- number
- PLDI
- pages
- 1905-1928
- volume
- 8
- ee
- https://doi.org/10.1145/3656454
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#MoellerJBDSSFS24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/MoellerJBDSSFS24
%A Moeller, Mark
%A Jacobs, Jules
%A Bélanger, Olivier Savary
%A Darais, David
%A Schlesinger, Cole
%A Smolka, Steffen
%A Foster, Nate
%A Silva, Alexandra
%D 2024
%J Proc. ACM Program. Lang.
%K dblp
%N PLDI
%P 1905-1928
%T KATch: A Fast Symbolic Verifier for NetKAT.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#MoellerJBDSSFS24
%V 8
@article{journals/pacmpl/MoellerJBDSSFS24,
added-at = {2024-08-02T00:00:00.000+0200},
author = {Moeller, Mark and Jacobs, Jules and Bélanger, Olivier Savary and Darais, David and Schlesinger, Cole and Smolka, Steffen and Foster, Nate and Silva, Alexandra},
biburl = {https://www.bibsonomy.org/bibtex/2f6c391417d86f36e1f47a401f335c75c/dblp},
ee = {https://doi.org/10.1145/3656454},
interhash = {fa66eeac437fe52594b0bb97a4d53e89},
intrahash = {f6c391417d86f36e1f47a401f335c75c},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {PLDI},
pages = {1905-1928},
timestamp = {2024-08-05T07:06:41.000+0200},
title = {KATch: A Fast Symbolic Verifier for NetKAT.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#MoellerJBDSSFS24},
volume = 8,
year = 2024
}