Formal Robustness Checking
Techniques to ensure fault tolerance - or robustness - gain an increasing importance in circuit design. Methods to automatically prove such robustness by using formal methods are investigated in the research project.
Contact: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
Detailled description is only available in german.