LTL Kısaltması
LTL kısaltmasının İngilizce açılımı Linear Temporal Logic, Doğrusal Zamansal Mantık olarak Türkçe’ye çevrilmektedir.
Doğrusal Zamansal Mantık: Bilgisayar bilimlerinde ve resmi doğrulamada, sistemlerdeki olayların ve özelliklerin zamansal sıralaması hakkında akıl yürütmek için kullanılan resmi bir mantık sistemi. Doğrusal Zamansal Mantık (LTL), sıralı veya eşzamanlı davranışa sahip sistemlerde "sonunda", "her zaman", "kadar" ve "sonraki" gibi özellikleri ifade etmek ve doğrulamak için bir dizi operatör ve kural sağlar.