1-2 of about 2 matches for site:netkat.org soundness
https://netkat.org
checking of program equivalence and other properties using symbolic automata techniques. Guarded NetKAT: Soundness, Partial-Completeness, Decidability Jacob
https://netkat.org
checking of program equivalence and other properties using symbolic automata techniques. Guarded NetKAT: Soundness, Partial-Completeness, Decidability Jacob