1 result found Sort:

tlaplus-workshops
ewd998 tlaplus-workshops
47
50
mit
67
Distributed termination detection on a ring, due to Shmuel Safra:
specs safety distsys tlaplus liveness detection refinement termination model-checking theorem-proving
Created 2021-09-20
102 commits to main branch, last one 3 months ago