todo

https://en.wikipedia.org/wiki/Category:Temporal_logic

https://en.wikipedia.org/wiki/Model_checking

Several kinds of temporal logic exist (https://en.wikipedia.org/wiki/Temporal_logic#Temporal_logics) including

• https://en.wikipedia.org/wiki/Linear_temporal_logic
• https://en.wikipedia.org/wiki/Computation_tree_logic

Notes related to Temporal logic

Büchi automaton, Model checking

Papers related to Temporal logic

• Model checking: Algorithmic verification and debugging [clarke:cacm:2009]
• Design and synthesis of synchronization skeletons using branching-time temporal logic [clarke:wlop:1982]
• Software model checking [jhala:compsurv:2009]
• Sanity checks in formal verification [kupferman:concur:2006]
• Model checking [mcmillan:ecs:2003]
• The temporal logic of programs [pnueli:sfcs:1977]