5 ms·
Automated, huh? There is no replacement for using your brain, and reasoning abstractly about the preconditions and postconditions of program fragments.
by catnaroek 8y ago
Automated, huh? There is no replacement for using your brain, and reasoning abstractly about the preconditions and postconditions of program fragments.
- tehwalrus 8y agoSo, you write down the formal requirements you have of an operating system (with aggressive auto-updates enabled, or disabled, as the customer chooses) once, on a piece of paper, and hope that they don't change? Your method seems impractical in the extreme in a commercial team environment.
- catnaroek 8y agoI don't need to “hope” for anything. All I have to do is document the program's preconditions.