Reinhart Koselleck-Projekt

DFG fördert Reinhart Koselleck-Projekt PolyVer zur beweisbar schnellen verifiziert elektronischer Schaltungen

Kontakt: 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.