Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Weighted NetKAT extends NetKAT with semiring weights and weighted NetKAT automata to enable automatic verification of quantitative safety and reachability properties.
citing papers explorer
-
GKAT with Hoare Hypotheses
Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.
-
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Weighted NetKAT extends NetKAT with semiring weights and weighted NetKAT automata to enable automatic verification of quantitative safety and reachability properties.