4 ms·
Formal methods is much more specific than formality and writing things down. There's a degree of proof that you achieve with formal methods that you don't even
by spankalee 2y ago
Formal methods is much more specific than formality and writing things down. There's a degree of proof that you achieve with formal methods that you don't even with design documents, reviews, and the usual tests.
- ChrisMarshallNY 2y agoAgreed, but also, “writing things down,” was a bit of a euphemism for the many, many aspects of a formal approach. The main issue is that we can get so wrapped up in the process, that we fail to get anything done. It’s a question of balance.