Logique Temporelle

Un formalisme pour exprimer des propositions sur l'ordre temporel et les propriétés d'états aux points ou intervalles temporels, utilisant des opérateurs temporels tels que 'G' (globalement), 'F' (finalement), 'X' (suivant) et 'U' (jusqu'à).