4 ms·
Full-time developers don't (to a first approximation) use formal verification, much less research scientists.
by rhinoceraptor 7y ago
Full-time developers don't (to a first approximation) use formal verification, much less research scientists.
- stevenhuang 7y agoOther 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.