行為時序邏輯

行為時序邏輯（英語：The Temporal Logic of Actions）是由萊斯利·蘭伯特（Leslie Lamport）發展的用於規範和推理並發自反應系統的時間邏輯。 主要應用於計算機科學，程序驗證。