Preventing conflicts in authoritative DNS config using formal verification | Heykuki News