7,2 Millionen Euro für Fehlersuche in Programmen

Sie befinden sich: Home > News Archiv > Wissenschaft > 7,2 Millionen Euro f...

7,2 Millionen Euro bewilligte das Forschungsministerium für die Entwicklung eines 'geschlossenen integrierten Korrektheitsbeweis(es)'.Dies ist ein Algorithmus, der selbstständig Fehler in Programmen sucht.

Ein solches Programm könnte bei der Verifizierung für 'sichere' Programme helfen und so große Kostenersparnisse für die Software- und Hardwareindustrie bedeuten, da dadurch aufwendige Fehlersuche in Programmen vermieden wird.

Die Entwicklung eines 'geschlossenen integrierten Korrektheitsbeweis(es)' ist eines der schwierigsten Projekte der IT-Branche.

Quelle: www.vnunet.de

euro fehlersuche millionen programmen

Neusten News in der Kategorie "Wissenschaft"

		• Opel: Personalbestand des Antwerpener Werks stimmen den Sozi... Die Opel Mitarbeiter des Werks in Antwerpen haben unter Einsatz von pa... • Kleinste Schlange der Welt entdeckt Von einem amerikanischen Wissenschaftler wurde auf Barbados die kleins... • Höhere Fördermittel für Atom-Forschung Die stellvertretende CDU-Vorsitzende und Bundesforschungsministerin Sc...
• Die Gletscher schmelzen - Zum Teil grausame Funde in den Alp... 2004 barg der Bergretter Mauricio Vicinzi drei tiefgekühlte Leichen au... • Anti-Baby-Pille: Mögliche Nebenwirkung Jahre danach Wissenschaftler in Massachusetts haben herausgefunden, dass die Hormon... • Astronomie: Ungewöhnliche Radiosignale entdeckt Astronomen haben eine neue Form von Radiosignalen aus den Weiten des W... • Penis-Verlängerung macht die meisten Männer nicht glückliche... Die meisten Männer sind nach einer Penis-Verlängerung durch eine Opera... • Statistik: Jede siebte Frau in Deutschland hat einen Vibrato... In Deutschland gibt es circa acht Millionen Vibratoren. Laut einer Sta... • Ecstasys hirnschädigende Wirkung durch laute Musik noch gest... Michelangelo Iannone vom Institut für Neuronalwissenschaften in Catanz... • Genom des Rhesusaffen entschlüsselt - gut für die Aidsforsch... Mehrere amerikanische Forscherteams haben das Genom des Rhesusaffen en...