Die Firma AbsInt aus Saarbrücken bietet ein System an, das eingebettete Systeme auf Programmierungsfehler überprüft. Diesen abstrakten Prozess in einem kurzen Film sowohl für Profis als auch für nicht Profis…