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 oth

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.