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?