To find the web page that contains a to-do list of projects on TLA+ and TLAPS

36 views

Skip to first unread message

unread,

Jul 5, 2020, 6:43:49 AM7/5/20

to tlaplus

Dear all,

As far as I can recall, there is a web page that maintains a to-do list of research projects on TLA+ and TLAPS.

One of the projects is to implement the concurrent SCC algorithm for liveness checking.

However, I cannot find this web page now.

Do you know it?

Best regards,

Hengfeng

unread,

Jul 5, 2020, 11:12:03 AM7/5/20

to tla...@googlegroups.com

unread,

Jul 6, 2020, 3:44:43 AM7/6/20

to tlaplus

Dear Markus,

Thanks. That is what I want to find.

Hengfeng

Reply all

Reply to author

Forward

0 new messages