← Back to context Comment by heikkilevanto 4 hours ago But can you make a mere user read and understand that specification? 1 comment heikkilevanto Reply amelius 4 hours ago 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.
amelius 4 hours ago 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.
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.