Harald Sack vom Institut für Telematik e.V. in Trier hat ein mathematisches Verfahren entwickelt, mit dem Chiphersteller bereits in der Entwicklungsphase von Mikroprozessoren und integrierten Schaltkreisen deren Fehlerfreiheit sicherstellen können. Das Verfahren stellt eine entscheidende Erweiterung zu der bisher genutzten Methode der geordneten binären Entscheidungsdiagramme dar. Gerade bei sicherheitskritischen Anwendungen im Flug- und Kraftfahrzeugbereich sind fehlerfreie Chips von großer Bedeutung. Zudem könnten teure Rückrufaktionen fehlerhafter Chips – wie 1994 beim Pentium-I-Prozessor – entfallen.