Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Im SS20 konzentriert sich das Seminar auf neueste Erkenntnisse zum Thema Verifikation für Multi-Threaded Shared Memory Systeme mit schwachem Speichermodel. Einige Arbeiten, die in den letzten Jahren veröffentlicht wurden, werden studiert werden. Studenten werden diese Arbeiten analysieren und im Rahmen eines Vortrags präsentieren.