6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…