1. Checkout Test language.
2. Compiler Target Language.
3. Computational Tree Logic
Nearby terms: CTC++ « CTCP « CTI « CTL » CTOS » ctrl » CTS
