> I think ultimately we're going to see legislation requiring licenses/certifications for software designers and software companies and software service provide

> I think ultimately we're going to see legislation requiring licenses/certifications for software designers and software companies and software service providers. What will these licenses test us? I have no problem finding a software engineer guilty of negligence writing bad code because they were too lazy (but proving it is very difficult, what is the definition of "lazy"), but that means everyone is guilty! There are toooooo many corner cases, and we depend on upstream and downstream system to be non-faulty and 100% reliable. Physical quality control is a lot easier to implement, so if someone fabricated lab inspection results they can go to jail because science doesn't lie right? Now look at C++, even if we fix all the warning messages from the compiler, doesn't mean someone didn't cast the right type at runtime and boom (what about underflow, overflow, not freeing memory, reuse the wrong pointer)? We lost Mars Probe in 1999 because of a simple inch-to-meter conversion error. We don't have a formal verification system that we can all agree on.