After successful completion of the course, students are able to...
In SS20 the seminar focusses on recent findings in the verification of multi-threaded shared memory systems with weak memory models. We will study several papers which have been published in the last years. Students will analyze these papers and present the findings.