From April 24th to 28th, I took part in a BOGY-Internship at SFB-TRR 161. I was assigned to Mr. Kölbl’s team at the University of Konstanz who is working on an implementation of a model checker for creating so-called fault trees which are supposed to help spotting potential errors in safety-critical systems.
BOGY-Internship at SFB-TRR 161
