CTL Kısaltması
CTL kısaltmasının İngilizce açılımı Computational Tree Logic, Hesaplamalı Ağaç Mantığı olarak Türkçe’ye çevrilmektedir.
Hesaplamalı Ağaç Mantığı: Hesaplama Ağacı Mantığı (CTL), dinamik sistemlerin, özellikle de durum geçiş modelleri veya etiketli geçiş sistemleri olarak temsil edilenlerin özelliklerini belirtmek ve doğrulamak için kullanılan resmi bir mantıksal dildir.