Дайте мне некоторые предложения относительно темы проекта в TLA + язык. Я беру курс о языке, это - первый год, который я узнаю о спецификации и проверке, и я имею нет...

Я хотел бы перевести некоторые действия, указанные в TLA, на Erlang. Можете ли вы придумать какой-либо естественный способ сделать это прямо в Erlang или какой-либо доступный для этого фреймворк? Вкратце (очень маленький ...