Homepage
Sitemap
Kontakt




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

» Reinhart Koselleck-Projekt
»  Prof. Dr. Rolf Drechsler





In dem von der Deutsche Forschungsgemeinschaft (DFG) geforderten Projekt PolyVer werden Verfahren untersucht, die es ermöglichen, Schaltungen und Systeme garantiert schnell zu verifizieren. Für den automatischen Beweisprozess werden dafür polynomiale Schranken garantiert. Die Ansätze werden an praktisch relevanten Schaltungen aus der Industrie erprobt.








Bereiche
Projekte
Kooperationen





English


Die Arbeitsgruppe






Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt