In the lab
Show the work.
Check the result.
A useful case connects the question, the program evidence, and the independent checks that support a conclusion.
Begin with the method
The lab is taking shape.
No completed tool investigations are published yet. In the meantime, follow a small source-code example and learn what a checkable explanation looks like.
Explain what this function does.
unsigned int checksum(const char *s) {
unsigned int n = 0;
while (*s)
n += (unsigned char)*s++;
return n;
}Follow the evidence
Sums the bytes in a null-terminated string.
Check: "abc" → 97 + 98 + 99 → 294.
Illustrative example · Verify every finding