6 ms·
But can you make a mere user read and understand that specification?
by heikkilevanto 1mo ago
But can you make a mere user read and understand that specification?
- amelius 1mo agoNot 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.