1 Cloudflare: Preventing conflicts in authoritative DNS configuration using formal verification (blog.cloudflare.com) 3 points by bakgatviooldoos 39 days ago