TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

ALIAS doesn't have any effect for violations in initial state. August 2, 2022 lemmy
Prevent IndexOutOfBoundException if reconstructed trace has length one. July 27, 2022 lemmy
Add `-help` CLI option. July 20, 2022 jubnzv
Fix path to the `customBuild.xml` location (#744) July 19, 2022 jubnzv
Error trace fails to print with incomparable values. July 16, 2022 lemmy

RT @dist_sys: We have a location! Thanks to @thoughtworks Bengaluru https://t.co/Ic0TZHTAEf @lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe

6 days ago
RT @lemmster: Warmup #tlaplus Conf 2022 : https://t.co/bsyS7QikDM @jessejiryudavis and Samyukta Lanka https://t.co/h8woe8fRAs

1 week ago
RT @strangeloop_stl: Strange Loop 2022 workshop preview: "TLA+ Workshop" by Hillel Wayne @hillelogram https://t.co/KKk9YiRgSJ

1 week ago
RT @lemmster: The schedule for #tlaplus conf has been published. Please spread far and wide: https://t.co/bsyS7Q0Jfc /cc @strangeloop_stl #pluscal

3 weeks ago
RT @CompSciFact: 'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra

4 weeks ago