TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @lemmster: Wohoo, @dharmashukla will share his insights at https://t.co/ToizYwKX15 on how #tlaplus helped to build… https://t.co/Fr5vwaRu1C

2 weeks ago
RT @lemmster: Want to know if it's worth to switch to a #tlaplus nightly (http://nightly/tlapl.us)? Check the changelog for the u… https://t.co/1gXS4FY3Np

3 weeks ago
RT @xshay: Wrote my first non-trivial TLA+ spec! A simplified multi-dc payments system: https://t.co/2KDhvQNlzO Pretty mind-be… https://t.co/3d8OBEGinZ

3 weeks ago
RT @lemmster: Who would object to TLC phoning home to report its startup banner (memory, num CPUs, Java version, ...)? We are not… https://t.co/ovR8H5uohZ

1 month ago
RT @vanlightly: I'll be speaking at the #heisenbug conference May 17-18 about TLA+ and testing distributed systems! https://t.co/sAGP7uY5wC

2 months ago