TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Command-line tool options December 13, 2019
States missing from dump? December 11, 2019
how to determine total states of model December 11, 2019
Has anyone tried using tla+ and clang for source level model checking? December 7, 2019
New blog series: TLA+ for startups December 6, 2019

Bow to our CI-system overlords! December 12, 2019 lemmy
Add instructions how to debug jclouds. December 12, 2019 lemmy
States missing from TLC state space dump not in dot format. December 12, 2019 lemmy
Add pretty printer to HTML to wish list December 11, 2019 lemmy
Create a RecordValue from a TLCState instance. December 10, 2019 lemmy

Removed messy code for SMTLIB support December 13, 2019
snapshot of the TLAPM sources just before release 1.4.4 November 21, 2019 damiendoligez

RT @lemmster: What liveness properties do you check for #pluscal (or #tlaplus) algorithms?

1 day ago
RT @lemmster: Debug a #tlaplus/#pluscal spec by interactively exploring its state graph. https://t.co/FMgPaaCJLp

2 weeks ago
RT @hillelogram: Ooooooooooh @tlaplus @lemmster #tlaplus https://t.co/Q1zpiLZP9Y

2 weeks ago
RT @_chalda: If you are in distributed systems or system modelling plus :) you are close to Brno area come to learn about TLA+ a… https://t.co/AHBaCf3EZR

3 weeks ago
RT @jeffweiss: Practical TLA+ by @hillelogram is only $7 right now. Buy it! It's well worth more than that. https://t.co/VEJOlZMs7j

3 weeks ago