[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
What does TLC stand for?
- From: Hillel Wayne <hwa...@xxxxxxxxx>
- Date: Sun, 3 Sep 2017 09:38:07 -0700 (PDT)
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?