Source : Free On-Line Dictionary of Computing

CTL
     
        1. {Checkout Test language}.
     
        2. {Compiler Target Language}.
     
        3. {Computational Tree Logic}