Source : Free On-Line Dictionary of Computing

LTL
     
        {Linear Temporal Logic}