Debugging in the formal module verification

In this project debugging techniques in the context of formal module verification are investigated. The project is funded by BMBF and is carried out together with Infineon Technologies AG and Concept Engineering GmbH.

Contact: Prof. Dr. Rolf Drechsler

Detailed description is only available in german.