Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Forschung « Projekte

» Verisoft
»  Prof. Dr. Rolf Drechsler









Die Beweise werden dabei computergestützt geführt, um menschliches Versagen der beteiligten Wissenschaftler nach Möglichkeit auszuschließen. Die gewonnenen Erkenntnisse und erzielten Fortschritte sollen dabei helfen, deutschen Unternehmen aus diesen Sparten dauerhafte internationale Wettbewerbsvorteile zu schaffen.

Die Leitvorstellung des Vorhabens Verisoft besteht darin:

die Methoden und Werkzeuge zu schaffen, die es gestatten, das Design von integrierten Computersystemen durchgehend formal zu verifizieren.
dadurch einen Produktivitäts- und Qualitätshub für die Industrie zu generieren.
dieses an vier konkreten Anwendungsszenarien – davon drei aus dem industriellen Sektor – prototypisch zu realisieren.

Verisoft ist langfristig auf acht Jahre angelegt, wobei die ersten vier Jahre schriftlich konzipiert und konkretisiert worden sind. Derzeit sind die ersten vier Jahre durch das bmb+f bewilligt (Laufzeit: 01.07.2003 – 30.06.2007).

Zu Verisoft: http://www.verisoft.de/








Bereiche
Projekte
Kooperationen





English


Die Arbeitsgruppe






Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt