Propositional Linear Temporal Logic Ltl

“Propositional Linear Temporal Logic (LTL) is a popular formalism for specifying desirable requirements and security and privacy policies for software, networks, and systems.”