2 ms·
Why do you believe this would "explode the costs" ? Why would the resulting safety improvements be "marginal" ?
by tialaramex 2y ago
Why do you believe this would "explode the costs" ?
Why would the resulting safety improvements be "marginal" ?
- adrianN 2y agoBecause proving correctness for complex software is difficult and very few people have relevant experience. So it is both labor intensive and you need to pay high wages. I believe the safety improvements are marginal because of my experience in safety critical development. Almost all the bugs we did not find by testing turned out to be problems with the requirements that led to interoperability issues. Proving the correct implementation of wrong requirements would not have helped.