HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

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.







« back


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy