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