Use Z3 prover for firewall validation checking?
Now that I think of it, instead of checking specifically firewall (or something else) validation, we could try to make the config generation part as declarative...
The post categories:
Uncategorized