Im Rahmen des Reinhart Koselleck Polyver-Projekts beschäftige ich mich mit der polynomialen formalen Verifizierung digitaler Schaltkreise. Mein Ansatz beinhaltet den Einsatz dynamischer Programmiertechniken in Verbindung mit der Antwortsatzprogrammierung, um eine Polynomzeit-Obergrenze für den Verifizierungsprozess zu erhalten.