TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Load user-provided index classes by passing the October 27, 2020 lemmy
Include node type (simple class name) when line numbers are printed with October 27, 2020 lemmy
Towards executing TLA+ specifications: Implement probabilistic choice October 23, 2020 lemmy
Evaluate Alias on basic TLCState in addition to TLCStateInfo instances. October 23, 2020 lemmy
Support IValue (de-)serialization to any Input/OutputStreams in October 23, 2020 lemmy

RT @lemmster: Starting in five minutes now! Zoom or https://t.co/HxCTwc2Fzw https://t.co/5IpLw3WBkp

2 weeks ago
RT @podc_disc: DISC 2020 over, many thanks to everyone! CELLS and TLA+ just started! https://t.co/sNCPL7L7ri

2 weeks ago
RT @lemmster: #tlaplus validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali is up at https://t.co/JcuJ4QreYs

2 weeks ago
RT @lemmster: T-18h... Don't miss @dharmashukla keynote! The live stream for the #tlaplus Community Event is going to be at… https://t.co/abGX8icAwe

2 weeks ago
PSA: The chat of the #tlaplus Community Event is at https://t.co/OSzkg6axHK and *not* on Zulip. https://t.co/BYZU8C0Cpb

2 weeks ago