StacKAT: Infinite State Network Verification. - Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva 001; Jana Wagemaker (Proc. ACM Program. Lang., 2025)