TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Unify fallback cases for `UNCHANGED` expressions (#739) June 21, 2022 Calvin-L
Remove bidirectional memory barriers from set value classes (#695) June 15, 2022 Calvin-L
Download CommunityModules as part of running the TLA+ examples June 14, 2022 lemmy
Sign CLA June 14, 2022 Calvin-L
Merge branch 'craft095-fix-issue-733' June 7, 2022 lemmy

RT @lemmster: We are excited to announce @MarcJBrooker as the keynote speaker of #tlaplus conf 2022 (pre-conf to @strangeloop_stl… https://t.co/eFhXVZaiHK

2 weeks ago
RT @lemmster: Don't wait and submit your talk proposal to #tlaplus conf. The program committee that @muratdemirbas assembled is… https://t.co/M9tkjAA5AK

2 weeks ago
#tlaplus https://t.co/q0eWTbRL2V

1 month ago
https://t.co/VkBKPHTnxY

1 month ago
RT @DominikTornow: Another weekend, another weekend read, this time all about Specifying Systems (@tlaplus) TLA+ is not just a formal… https://t.co/qpiyLQvnOJ

3 months ago