Login / Signup
KATch: A Fast Symbolic Verifier for NetKAT.
Mark Moeller
Jules Jacobs
Olivier Savary Bélanger
David Darais
Cole Schlesinger
Steffen Smolka
Nate Foster
Alexandra Silva
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
symbolic representation
data sets
neural learning
databases
neural network
information retrieval
image processing
high level
symbolic description
connectionist learning
knowledge base
image segmentation
feature space
connectionist systems