59,5 Milliarden US-Dollar sollen gemäß einer Studie Softwarefehler die US-amerikanische Wirtschaft im Jahr 2002 gekostet haben. Die gleiche Studie kommt zu dem Schluss, dass sich diese Kosten um ein Drittel senken ließen, würde man diese Fehler früher finden. Eine solche Möglichkeit könnte »Boolean Satisfia-bility« eröffnen.
展开▼