A Systematic Literature Review on a Decade of Industrial TLA+ Practice

Roman Bögli, Leandro Lerena, Christos Tsigkanos +1

TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research comm…