Comment by amelius

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.