A browser is possibly the most difficult application to formally specify. 99.somemorenines% of software has less complex specifications.
The formal specification for something like Redis is likely much more akin to your car bridge spec. And to continue your analogy, I imagine the specifications for big bridges (Golden Gate, etc) are much more thorough than the ones you built.