TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Thread safety concern due to "memory barrier" in FcnRcdValue#select. December 2, 2021 lemmy
Thread safety concern due to "memory barrier" in FcnRcdValue#select. December 2, 2021 lemmy
Thread safety concern due to "memory barrier" in FcnRcdValue#select. December 2, 2021 lemmy
Thread safety concern due to "memory barrier" in FcnRcdValue#select. December 2, 2021 lemmy
Thread safety concern due to "memory barrier" in FcnRcdValue#select. December 2, 2021 lemmy

RT @lemmster: Lamport just published a #pluscal tutorial: https://t.co/NYVNFzn3ZQ #tlaplus

5 days ago
RT @lemmster: I'm looking for a developer to help me bring the #tlaplus #vscode extension to feature parity with the TLA+ Toolbox… https://t.co/hoGHDV6p4A

2 months ago
RT @tomrocksmaths: NEW VIDEO: Turing Award recipient Leslie Lamport describes his favourite maths t-shirt, his final goal in life, and… https://t.co/C6gvKIABIo

2 months ago
RT @lemmster: It's up to @k0nn0v now to introduce symbolic model-checking for #tlaplus with @ApalacheTLA.

2 months ago
RT @lemmster: Stephan Merz is on at @podc_disc with a tutorial on #tlaplus by specifying Dijkstra's EWD840 termination detection algorithm.

2 months ago