Here's a formally-verified DNS Server: https://ironsides.martincarlisle.com/

Not all the way down to the instruction level, but it's a start.