4 ms·How we prevent conflicts in authoritative DNS configuration using formal methods1 points by jgrahamc 2y ago