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