Guest lecture by Dr. Stephan Merz
On 14 January 2021, Dr Stephan Merz was talking about the specification language TLA+ and its tool set within the lecture series of the Elite Graduate Program "Software Engineering". Dr Merz is a researcher at Inria in Nancy. In his lecture, he explained the modeling of distributed algorithms in TLA+ and the available tools for working with TLA+.