Cloudflare通过形式验证确保其权威DNS配置的正确性，避免冲突。Topaz系统验证DNS查询的IP地址选择逻辑，确保不同团队的程序不冲突。每当程序更改时，都会通过模型检查器检测潜在错误，从而提高互联网的可靠性，鼓励其他网络运营商采用形式方法。