Image de couverture de livre

Active Learning of Symbolic NetKAT Automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Moeller, Mark, Ferreira, Tiago, Lu, Thomas, Foster, Nate, Silva, Alexandra
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

KATch: A Fast Symbolic Verifier for NetKAT
par: Moeller, Mark, et autres
Publié: (2024)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
par: Acevedo, Emmanuel Suárez, et autres
Publié: (2026)

StacKAT: Infinite State Network Verification
par: Jacobs, Jules, et autres
Publié: (2025)

SMT-Based Active Learning of Weighted Automata
par: Ferreira, Tiago, et autres
Publié: (2026)

Active Learning of Symbolic Mealy Automata
par: Irie, Kengo, et autres
Publié: (2025)

Liquid Tree Automata
par: Mishra, Ashish, et autres
Publié: (2026)

Domain Reasoning in TopKAT
par: Zhang, Cheng, et autres
Publié: (2024)

Active Learning of Symbolic Automata Over Rational Numbers
par: Hagedorn, Sebastian, et autres
Publié: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Programming of Cellular Automata in C and C++
par: Christen, Patrik
Publié: (2024)

NEST: Network Enforced Session Types (Technical Report)
par: Larsen, Jens Kanstrup, et autres
Publié: (2026)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
par: Zhou, Zhe, et autres
Publié: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
par: Marron, Mark
Publié: (2024)

Grammar Repair with Examples and Tree Automata: Extended Version
par: Lee, Yunjeong, et autres
Publié: (2026)

Complete Multiparty Session Type Projection with Automata
par: Li, Elaine, et autres
Publié: (2023)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
par: Stutz, Felix, et autres
Publié: (2025)

Large Language Model Powered Symbolic Execution
par: Li, Yihe, et autres
Publié: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
par: Ayoun, Sacha-Élie, et autres
Publié: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
par: Correnson, Arthur, et autres
Publié: (2025)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Kleene Algebra
par: Kappé, Tobias, et autres
Publié: (2025)

Joint Distributions in Probabilistic Semantics
par: Kozen, Dexter, et autres
Publié: (2023)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
par: Pointner, Andreas, et autres
Publié: (2025)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
par: Dong, Shouyang, et autres
Publié: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
par: Ho, Son, et autres
Publié: (2024)

Inferring Symbolic Automata
par: Fisman, Dana, et autres
Publié: (2021)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
par: Silva, Álvaro, et autres
Publié: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
par: Vijayaraghavan, Prashanth, et autres
Publié: (2026)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
par: Fedchin, Aleksandr, et autres
Publié: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
par: Andrès, Léo, et autres
Publié: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
par: Karmios, Nat, et autres
Publié: (2026)

Quantitative Symbolic Patch Impact Analysis
par: Sarker, Laboni, et autres
Publié: (2026)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
par: Zhu, Yifan, et autres
Publié: (2026)

Encoding Petri Nets into CCS (Technical Report)
par: Bogø, Benjamin, et autres
Publié: (2024)

Conditional Nested Pattern Matching in Interaction Net
par: Sato, Shinya
Publié: (2024)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)