A verifier that computes effective reachability and minimal counterexamples across layered firewall, service-mesh, and application policies.
portfolio-project local-first networking-observability policy-parsers normalized-decision-graph symbolic-reachability-engine counterexample-minimizer change-impact-reporter
-
Updated
Sep 17, 2026 - Python