|
|
|
|
|
|
by rhinoceraptor
2438 days ago
|
|
|
I 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. |
|
|