[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

What does TLC stand for?

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?