Dr. Stephan Merz vom INRIA in Nancy hält in der Ringvorlesung des Elitestudiengangs Software Engineering einen Gastvortrag zum Thema "The TLA+ Language and Tool Set". Alle sind herzlich eingeladen. Die Ringvorlesung findet als Onlinetermin in Zoom statt.

Abstract

TLA+ is a formal specification language whose foundations are mathematical
set theory and temporal logic,
and in which systems are described as state machines. It has been adopted
mainly by companies that need
to design and analyze fault-tolerant distributed and cloud systems. Using
classical algorithms for distributed
termination detection as a case study, this talk will present the TLA+
language and its tool support in the
form of model checking and theorem proving for verifying correctness
properties and checking refinement.