3 ms·
And you can put the specification in the manual of the software so the user knows what they're dealing with.
by amelius 2mo ago
And you can put the specification in the manual of the software so the user knows what they're dealing with.
- heikkilevanto 2mo agoBut can you make a mere user read and understand that specification?
- amelius 2mo 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.