Example specs of the video course

40 views
Skip to first unread message

Ravi Shankar

unread,
May 28, 2022, 7:52:40 AM5/28/22
to tlaplus
Where can I find the specs to copy and paste in the TLA+ toolbox? I can't find them in The TLA Toolbox website.

Ravi Shankar

unread,
May 28, 2022, 8:27:52 AM5/28/22
to tlaplus

I found the specs on tlaplus GitHub repository location => Examples/specifications/transaction_commit/TCommit.tla
Reply all
Reply to author
Forward
0 new messages