Formal Methods – Noise https://noise.getoto.net The collective thoughts of the interwebz Fri, 08 Nov 2024 14:00:00 +0000 en-US hourly 1 https://wordpress.org/?v=6.8.2 How we prevent conflicts in authoritative DNS configuration using formal verification https://noise.getoto.net/2024/11/08/how-we-prevent-conflicts-in-authoritative-dns-configuration-using-formal-verification/ Fri, 08 Nov 2024 14:00:00 +0000 http://noise.getoto.net/?guid=eed169f11976f3f0eeaf2b39a4940ee9