TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Source code checked in, #ce80933911bce9bf82b0cde757a3b3b83890b885 September 5, 2016
Source code checked in, #0490b8e7f6fecd69d714a72c45dc6ffa04cd2e8a August 31, 2016
Source code checked in, #bf1f0157f3bfcb09c1d0d146698509804ffeed41 August 26, 2016
Source code checked in, #d0ce16bf44b01f67f1ad15c00a454dc68efa4ff1 August 26, 2016
Source code checked in, #b86f92390a80a8feda644d6bdd70a62571975d03 August 26, 2016

Created Unassigned: Erroneous encoding of hypotheses involving primed variables [42] April 20, 2016
Created Unassigned: PM has problems with EXTENDS of submodules [41] January 26, 2016
Source code checked in, #235bc44be49395c3beaeebad1a07737f8b1cd880 January 25, 2016
Updated Release: TLAPS 1.4.3 (Jun 16, 2015) September 28, 2015
Released: TLAPS 1.4.3 (Jun 16, 2015) September 28, 2015

RT @pheras: Leslie Lamport: Thinking for Programmers. On the importance of specifying SW before coding. Intro to TLA+, PlusCal. http://t.co/KpW4wcuBLU

2 years ago
RT @DavidFdzP: I'm looking inside The PlusCal Algorithm Language http://t.co/BZ7aDhX0Ho #springerlink

2 years ago
RT @PaulCichonski: Amazon says they are seeing benefits using TLA+ and pluscal to find bugs in AWS distributed systems. Looks promising http://t.co/IZSx9ruqpt

2 years ago
RT @neil_conway: Verifiable Go looks cool: a subset of Go with temporal logic assertions that can be verified via model checking. http://t.co/HyXuM73HdB

2 years ago
RT @PrologInfo: "Temporal logic and functional reactive programming" (slides, Sergei Winitzki, 2014) http://t.co/VcMqNYrRmf

2 years ago