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?
Hillel