Reinhart Koselleck-Projekt

DFG funds Reinhart Koselleck's PolyVer project for provably fast verifiable electronic circuits

Contact: Prof. Dr. Rolf Drechsler

In the PolyVer project funded by the German Research Foundation (DFG), methods are investigated that enable circuits and systems to be verified quickly. Polynomial bounds are guaranteed for the automatic proof process. The approaches are tested on practically relevant circuits from industry.