Cover Image

StacKAT: Infinite State Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jacobs, Jules, Foster, Nate, Kappé, Tobias, Kozen, Dexter, Saada, Lily, Silva, Alexandra, Wagemaker, Jana
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Kleene Algebra
by: Kappé, Tobias, et al.
Published: (2025)

NEST: Network Enforced Session Types (Technical Report)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
by: Acevedo, Emmanuel Suárez, et al.
Published: (2026)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Multisets and Distributions
by: Kozen, Dexter, et al.
Published: (2023)

Active Learning of Symbolic NetKAT Automata
by: Moeller, Mark, et al.
Published: (2025)

A Demonic Outcome Logic for Randomized Nondeterminism
by: Zilberstein, Noam, et al.
Published: (2024)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
by: Kappé, Tobias, et al.
Published: (2023)

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
by: Ong, Shawn, et al.
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
by: Jacobs, Bart
Published: (2026)

Deciding Serializability in Network Systems
by: Amir, Guy, et al.
Published: (2026)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
by: Elad, Neta, et al.
Published: (2023)

Completeness Theorems for Kleene algebra with tests and top
by: Pous, Damien, et al.
Published: (2023)

From State Changes to Creative Decisions: Documenting and Interpreting Traces Across Creative Domains
by: Peng, Xiaohan, et al.
Published: (2026)

An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)

Building Bridges: Julia as an MLIR Frontend
by: Merckx, Jules
Published: (2025)

Domain Reasoning in TopKAT
by: Zhang, Cheng, et al.
Published: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
by: Singh, Avaljot, et al.
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
by: Jacobs, Bart, et al.
Published: (2025)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)

Runtime Verification on Abstract Finite State Models
by: Jevitha, KP, et al.
Published: (2024)

Flattening subtyping by eta expansion
by: Dunfield, Jana
Published: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

Canonical bidirectional typechecking
by: Mihejevs, Zanzi, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
by: Batz, Kevin, et al.
Published: (2025)