How we prevent conflicts in authoritative DNS configuration using formal verification | Lobsters

6

How we prevent conflicts in authoritative DNS configuration using formal verification formalmethods lisp blog.cloudflare.com
via veqq 3 months ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1

1. 2
  
  spdegabrielle 3 months ago
  
  Racket! https://racket-lang.org/ “Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”