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.
Nicht erforderlich