Rechnet der Computer immer richtig?  

Symbolbild Computer , Credit: Pixabay - Immer mehr Schaltungen auf immer kleinerer Fläche - können wir uns auf unsere Computer wirklich verlassen? Ein Computer übernimmt heutzutage sehr viele Aufgaben in unserem täglichen Leben. Neben dem Smartphone liegen wichtige neue Anwendungen in der Kryptographie oder der Künstlichen Intelligenz. Zentral für die die Berechnungen sind dabei die vier Grundoperationen Addition, Subtraktion, Multiplikation und Division. Im Computer, oder genauer in den Schaltkreisen, müssen jedoch immer neue Architekturen mit möglichst wenig Energieverbrauch für diese Arithmetikoperationen entwickelt werden. Die zentrale Herausforderung dabei ist, ob das Gesamtsystem dann garantiert immer richtig rechnet. Im Projekt ,,VerA" erforscht das Institut für Complex Systems unter Leitung von JKU Daniel Große genau diese Frage. Es wird eine vollautomatisierte formale Methodik zum Nachweis der Korrektheit für Multiplizier und Dividierer basierend auf symbolischer Computeralgebra entwickelt.