First page Back Continue Last page Overview Text


Medical: Lawsuits for malpractice (X-ray machines, pacemakers, …). Fun fact: in the USA not using static analysis means you didn't take “reasonably measures” against bugs. = liability

Financial: Especially stock trading

Motor: Electronically controlled brakes, fuel injection, …

Aviation: Air planes are expensive

Aerospace: Don't you think that they check the code before they upload a new version to Curiosity on Mars?