Re: [tlaplus] What does TLC stand for?

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 03.09.2017 18:38, Hillel Wayne wrote:
> I swear this question isn't as dumb as it sounds.
> 
> What does TLC stand for? It's never expanded in /Specifying Systems/, at
> least where I looked, and it isn't expanded in the original paper
> either. I also couldn't find it in the toolbox docs or the video series.
> I'm /guessing/ it's "Temporal Logic Checker" but haven't been able to
> find a source on that. Does anybody know a public reference?

Hi Hillel,

Leslie recently told me that he remembers that it stands for "TLA
Checker". Sorry, I can't provide a public reference though.

Markus