3 ms·
Other way around. Research scientists are the ones that may (or should) require additional rigor in their results. Formal verification would presumably help in
by stevenhuang 7y ago
Other way around. Research scientists are the ones that may (or should) require additional rigor in their results. Formal verification would presumably help in that regard.
- rhinoceraptor 7y agoI don't disagree, I'm just saying that we as full-time software developers have not made formal verification standard practice, or even approachable. I would bet the average software developer has never even heard of it. So to expect people who do not write software full-time to do so is a little crazy.