But can you make a mere user read and understand that specification?

Not all users are the same and that's OK. Just like not everybody needs to read and verify the Linux kernel.

Also note that a specification can be input to other tools, such as a formal verification system for an encompassing system.